install java in ${GMSH_LIB} as well

2 jobs for gnuinstalldirs in 12 minutes and 40 seconds (queued for 6 minutes and 17 seconds)