--- java/org/apache/jasper/compiler/JDTCompiler.java~ 2012-10-16 10:05:51.000000000 +0200 +++ java/org/apache/jasper/compiler/JDTCompiler.java 2013-01-05 00:05:56.336513305 +0100 @@ -93,6 +93,14 @@ this.sourceFile = sourceFile; } + /* (non-Javadoc) + * @see org.eclipse.jdt.internal.compiler.env.ICompilationUnit#ignoreOptionalProblems() + */ + public boolean ignoreOptionalProblems() { + // TODO: Auto-generated method stub + return false; + } + public char[] getFileName() { return sourceFile.toCharArray(); }