X-Git-Url: http://git.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
index e16da97..5dd77a1 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/core/JavaCore.java
@@ -9,7 +9,7 @@ import java.util.Hashtable;
 import java.util.List;
 import java.util.Map;
 
-import net.sourceforge.phpdt.internal.core.BatchOperation;
+import net.sourceforge.phpdt.internal.compiler.impl.CompilerOptions;
 import net.sourceforge.phpdt.internal.core.BufferManager;
 import net.sourceforge.phpdt.internal.core.ClasspathEntry;
 import net.sourceforge.phpdt.internal.core.JavaModel;
@@ -25,25 +25,15 @@ import org.eclipse.core.resources.IMarkerDelta;
 import org.eclipse.core.resources.IProject;
 import org.eclipse.core.resources.IProjectDescription;
 import org.eclipse.core.resources.IResource;
-import org.eclipse.core.resources.IResourceChangeEvent;
 import org.eclipse.core.resources.IResourceChangeListener;
-import org.eclipse.core.resources.ISavedState;
-import org.eclipse.core.resources.IWorkspace;
 import org.eclipse.core.resources.IWorkspaceRoot;
-import org.eclipse.core.resources.IWorkspaceRunnable;
 import org.eclipse.core.resources.ResourcesPlugin;
 import org.eclipse.core.runtime.CoreException;
 import org.eclipse.core.runtime.IConfigurationElement;
 import org.eclipse.core.runtime.IPath;
 import org.eclipse.core.runtime.IProgressMonitor;
-import org.eclipse.core.runtime.IStatus;
 import org.eclipse.core.runtime.Plugin;
 import org.eclipse.core.runtime.Preferences;
-import org.eclipse.core.runtime.Status;
-import org.eclipse.core.runtime.jobs.ISchedulingRule;
-import org.eclipse.core.runtime.jobs.Job;
-import net.sourceforge.phpdt.internal.core.util.Util;
-import org.osgi.framework.BundleContext;
 
 public class JavaCore {
 
@@ -295,14 +285,13 @@ public class JavaCore {
 	 * 
 	 * @see #getDefaultOptions
 	 */
-	public static final String COMPILER_PB_PHP_VAR_DEPRECATED = PLUGIN_ID
-			+ ".compiler.problem.phpVarDeprecatedWarning"; //$NON-NLS-1$
+	public static final String COMPILER_PB_PHP_VAR_DEPRECATED = CompilerOptions.OPTION_PHPVarDeprecatedWarning; //$NON-NLS-1$
 	
-	public static final String COMPILER_PB_PHP_KEYWORD = PLUGIN_ID
-	        + ".compiler.problem.phpBadStyleKeywordWarning"; //$NON-NLS-1$
+	public static final String COMPILER_PB_PHP_KEYWORD = CompilerOptions.OPTION_PHPBadStyleKeywordWarning; //$NON-NLS-1$
 	
-	public static final String COMPILER_PB_PHP_UPPERCASE_IDENTIFIER = PLUGIN_ID
-	        + ".compiler.problem.phpBadStyleUppercaseIdentifierWarning"; //$NON-NLS-1$
+	public static final String COMPILER_PB_PHP_UPPERCASE_IDENTIFIER = CompilerOptions.OPTION_PHPBadStyleUppercaseIdentifierWarning; //$NON-NLS-1$
+	
+	public static final String COMPILER_PB_PHP_FILE_NOT_EXIST = CompilerOptions.OPTION_PHPIncludeNotExistWarning; //$NON-NLS-1$
 	
 	/**
 	 * Possible configurable option ID.
@@ -2914,6 +2903,8 @@ public class JavaCore {
 		optionNames.add(COMPILER_PB_PHP_KEYWORD);
 		preferences.setDefault(COMPILER_PB_PHP_UPPERCASE_IDENTIFIER, IGNORE);
 		optionNames.add(COMPILER_PB_PHP_UPPERCASE_IDENTIFIER);
+		preferences.setDefault(COMPILER_PB_PHP_FILE_NOT_EXIST, WARNING);
+		optionNames.add(COMPILER_PB_PHP_FILE_NOT_EXIST);
  
 		preferences.setDefault(COMPILER_PB_UNREACHABLE_CODE, ERROR);
 		optionNames.add(COMPILER_PB_UNREACHABLE_CODE);