static File jmodFiles(File javaHome default javaHome()) {
  ret listFilesWithExtension(".jmod", javaHome("jmods"));
}