package org.jetbrains.jps.api;

/**
 * @author Eugene Zhuravlev
 *         Date: 1/24/12
 */
public interface GlobalOptions {
  String USE_MEMORY_TEMP_CACHE_OPTION = "use.memory.temp.cache";
  String USE_EXTERNAL_JAVAC_OPTION = "use.external.javac.process";
  String HOSTNAME_OPTION = "localhost.name";
  String PING_INTERVAL_MS_OPTION = "server.ping.interval";
  String GENERATE_CLASSPATH_INDEX_OPTION = "generate.classpath.index";
  String MAX_SIMULTANEOUS_BUILDS_OPTION = "max.simultaneous.builds";
  String COMPILE_PARALLEL_OPTION = "compile.parallel";
  String COMPILE_PARALLEL_MAX_THREADS_OPTION = "compile.parallel.max.threads";
}

@@ -309,195 +309,67 @@
 ing 
-PING_INTERVAL_MS_OPTION = %22server.ping.interval%22;%0A  String GENERATE_CLASSPATH_INDEX_OPTION = %22generate.classpath.index%22;%0A  String MAX_SIMULTANEOUS_BUILDS_OPTION = %22max.simultaneous.builds
+GENERATE_CLASSPATH_INDEX_OPTION = %22generate.classpath.index
 %22;%0A 

remove unused options