install java in ${GMSH_LIB} as well

2 jobs for gnuinstalldirs in 12 minutes and 40 seconds (queued for 6 minutes and 17 seconds)
Status Name Job ID Coverage
  Test
passed full #465

00:10:31

passed minimal #466

00:02:09