Error Prone plugin: support Java 9 (IDEA-186848)

jps/jps-builders-6/src/org/jetbrains/jps/builders/java/JavaCompilingTool.java

@@ -18,9 +18,10 @@ package org.jetbrains.jps.builders.java;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
 
-import javax.tools.JavaCompiler;
+import javax.tools.*;
 import java.io.File;
 import java.util.Collections;
+import java.util.Iterator;
 import java.util.List;
 
 /**
@@ -47,4 +48,10 @@ public abstract class JavaCompilingTool {
   public List<String> getDefaultCompilerOptions() {
     return Collections.emptyList();
   }
+
+  /**
+   * Override this method to modify the options list before they are passed to {@link JavaFileManager#handleOption(String, Iterator)}.
+   */
+  public void preprocessOptions(List<String> options) {
+  }
 }

jps/jps-builders-6/src/org/jetbrains/jps/javac/JavacMain.java

@@ -282,6 +282,7 @@ public class JavacMain {
       }
       skip = false;
     }
+    compilingTool.preprocessOptions(result);
     return result;
   }