[jdt-core-dev] Poll about new Java builder setting

[Philippe_Mulet@xxxxxxx]

We are adding a new Java builder setting for aborting in presence of an
invalid project classpath.
Currently, the builder doesn't abort under such circumstances, and might
generate a huge number of errors.

Question is: what should the default be ?


      JavaCore option added, to allow build to abort in presence of invalid
      classpath.
                    * BUILDER / Abort if Invalid Classpath
                    *    Allow to toggle the builder to abort if the
      classpath is invalid
                    *     - option id:
      "org.eclipse.jdt.core.builder.invalidClasspath"
                    *     - possible values:  { "abort", "ignore" }
                    *     - default:          "ignore"