/** Returns the Java compilation options. */
 @Nested
 public CompileOptions getOptions() {
   return compiler.getCompileOptions();
 }