Fixing some bugs and making the plug-in compatible with Java 1.4
[phpeclipse.git] / net.sourceforge.phpeclipse.phpmanual / .settings / org.eclipse.jdt.core.prefs
1 #Sat Dec 01 16:45:06 BRST 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