import java.util.*;
import java.util.zip.*;
import java.util.List;
import java.util.regex.*;
import java.util.concurrent.*;
import java.util.concurrent.atomic.*;
import java.util.concurrent.locks.*;
import java.util.function.*;
import javax.swing.*;
import javax.swing.event.*;
import javax.swing.text.*;
import javax.swing.table.*;
import java.io.*;
import java.net.*;
import java.lang.reflect.*;
import java.lang.ref.*;
import java.lang.management.*;
import java.security.*;
import java.security.spec.*;
import java.awt.*;
import java.awt.event.*;
import java.awt.image.*;
import java.awt.geom.*;
import javax.imageio.*;
import java.math.*;
// moduleName = e.g. "java.scripting"
class main {

static File jigsawModuleFile(String moduleName) { return jigsawModuleFile(moduleName, javaHome()); }
static File jigsawModuleFile(String moduleName, File javaHome) {
  return new File(javaHome, "jmods/" + moduleName + ".jmod");
}
static File javaHome() {
  return envJavaHome();
}

static File javaHome(String sub) {
  return newFile(envJavaHome(), sub);
}




static File envJavaHome() {
  return newFile(System.getProperty("java.home"));
}


static File newFile(File base, String... names) {
  for (String name : names) base = new File(base, name);
  return base;
}

static File newFile(String name) {
  return name == null ? null : new File(name);
}

static File newFile(String base, String... names) {
  return newFile(newFile(base), names);
}



}