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