Workaround for feature request #1154254 (sticky browser URL) that solves bug #1827766...
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / .settings / org.eclipse.jdt.core.prefs
1 #Fri Sep 07 14:46:23 PDT 2007
2 eclipse.preferences.version=1
3 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.2
4 org.eclipse.jdt.core.compiler.compliance=1.4
5 org.eclipse.jdt.core.compiler.problem.assertIdentifier=warning
6 org.eclipse.jdt.core.compiler.problem.enumIdentifier=warning
7 org.eclipse.jdt.core.compiler.source=1.3