[jdt-core-dev] Towards per project settings

["Philippe Mulet" <Philippe_Mulet@xxxxxxx>]

In order to support per project settings, I propose we add the following
APIs:

      /**
       * Returns the table of the current custom options for this project.
Projects remember their custom options,
       * i.e. only the options different from the the JavaCore global
options for the workspace.
       * A boolean argument allows to directly merge the project options
with global ones.
       * <p>
       * For a complete description of the configurable options, see <code>
JavaCore#getDefaultOptions</code>.
       * </p>
       *
       * @param includeJavaCoreOptions - boolean indicating whether
JavaCore options should be inserted as well
       * @return table of current settings of all options
       *   (key type: <code>String</code>; value type: <code>String</code>)
       * @see JavaCore#getDefaultOptions
       */
      Map getOptions(boolean includeJavaCoreOptions);


and similarily a setOptions(Map) will be provided.

The implementation will create a file (.jprefs) as a sibling of the
.classpath file, containing the project custom options (which can be a
subset of the JavaCore ones - considered as global options).