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

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/DocumentElementParser.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/DocumentElementParser.java
index 2d6c723..4bf670f 100644
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/DocumentElementParser.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/DocumentElementParser.java
@@ -12,6 +12,7 @@ package net.sourceforge.phpdt.internal.compiler;
 
 import net.sourceforge.phpdt.core.compiler.IProblem;
 import net.sourceforge.phpdt.internal.compiler.env.ICompilationUnit;
+import net.sourceforge.phpdt.internal.compiler.impl.CompilerOptions;
 import net.sourceforge.phpdt.internal.compiler.parser.UnitParser;
 import net.sourceforge.phpdt.internal.compiler.problem.AbortCompilation;
 import net.sourceforge.phpdt.internal.compiler.problem.ProblemReporter;
@@ -52,11 +53,11 @@ public class DocumentElementParser extends UnitParser {
 	
 public DocumentElementParser(
 	final IDocumentElementRequestor requestor, 
-	IProblemFactory problemFactory) {
-//	CompilerOptions options) {
+	IProblemFactory problemFactory,
+ 	CompilerOptions options) {
 	super(new ProblemReporter(
 		DefaultErrorHandlingPolicies.exitAfterAllProblems(), 
-//		options, 
+ 		options, 
 		problemFactory) {
 		public void record(IProblem problem, CompilationResult unitResult) {
 			requestor.acceptProblem(problem);
@@ -66,7 +67,7 @@ public DocumentElementParser(
 //	options.sourceLevel >= CompilerOptions.JDK1_4);
 	this.requestor = requestor;
 	intArrayStack = new int[30][];
-//	this.options = options;
+ 	this.options = options;
 }
 
 /**