static S classNameToJavaFile(Class c) {
  ret classNameToJavaFile(c.getName());
}

static S classNameToJavaFile(S s) {
  ret s.replace(".", "/") + ".java";
}