# HG changeset patch
# User Roland Schatz <roland.schatz@oracle.com>
# Date 1360661564 -3600
# Node ID 1ca1425a067f3f620b88815777b69f8a51a71d38
# Parent  b4e4501bfa7aca2302720e5270b68a28df3da4c3
Fix build.

diff -r b4e4501bfa7a -r 1ca1425a067f mx/eclipse-settings/org.eclipse.jdt.core.prefs
--- a/mx/eclipse-settings/org.eclipse.jdt.core.prefs	Mon Feb 11 18:17:09 2013 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.core.prefs	Tue Feb 12 10:32:44 2013 +0100
@@ -96,7 +96,7 @@
 org.eclipse.jdt.core.compiler.problem.reportMethodCanBeStatic=warning
 org.eclipse.jdt.core.compiler.problem.specialParameterHidingField=disabled
 org.eclipse.jdt.core.compiler.problem.staticAccessReceiver=warning
-org.eclipse.jdt.core.compiler.problem.suppressOptionalErrors=disabled
+org.eclipse.jdt.core.compiler.problem.suppressOptionalErrors=enabled
 org.eclipse.jdt.core.compiler.problem.suppressWarnings=enabled
 org.eclipse.jdt.core.compiler.problem.syntheticAccessEmulation=ignore
 org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning