Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOlivier Thomann2011-02-02 12:16:23 -0500
committerOlivier Thomann2011-02-02 12:16:23 -0500
commit65149d1eadc82ec24e2f7386d0db7e91ff27f3cb (patch)
tree9b6e32c25235c6f3371de6901b25a544adcf6c79 /org.eclipse.jdt.apt.ui
parent4f030b58c264b916075781cc80fab063f5786295 (diff)
downloadeclipse.jdt.core-65149d1eadc82ec24e2f7386d0db7e91ff27f3cb.tar.gz
eclipse.jdt.core-65149d1eadc82ec24e2f7386d0db7e91ff27f3cb.tar.xz
eclipse.jdt.core-65149d1eadc82ec24e2f7386d0db7e91ff27f3cb.zip
HEAD - Update project specific settings to force strict JRE compliance
Diffstat (limited to 'org.eclipse.jdt.apt.ui')
-rw-r--r--org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.core.prefs13
-rw-r--r--org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.launching.prefs3
2 files changed, 15 insertions, 1 deletions
diff --git a/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.core.prefs
index 0146e7d230..82dbb0f6ac 100644
--- a/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,5 +1,13 @@
-#Mon Mar 20 23:34:15 PST 2006
+#Wed Feb 02 12:03:56 EST 2011
eclipse.preferences.version=1
+org.eclipse.jdt.core.builder.cleanOutputFolder=clean
+org.eclipse.jdt.core.builder.duplicateResourceTask=warning
+org.eclipse.jdt.core.builder.invalidClasspath=abort
+org.eclipse.jdt.core.builder.recreateModifiedClassFileInOutputFolder=ignore
+org.eclipse.jdt.core.builder.resourceCopyExclusionFilter=*.launch
+org.eclipse.jdt.core.circularClasspath=error
+org.eclipse.jdt.core.classpath.exclusionPatterns=enabled
+org.eclipse.jdt.core.classpath.multipleOutputLocations=enabled
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
@@ -8,6 +16,7 @@ org.eclipse.jdt.core.compiler.debug.lineNumber=generate
org.eclipse.jdt.core.compiler.debug.localVariable=generate
org.eclipse.jdt.core.compiler.debug.sourceFile=generate
org.eclipse.jdt.core.compiler.doc.comment.support=enabled
+org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.autoboxing=ignore
@@ -67,3 +76,5 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disa
org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=ignore
org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning
org.eclipse.jdt.core.compiler.source=1.5
+org.eclipse.jdt.core.incompatibleJDKLevel=ignore
+org.eclipse.jdt.core.incompleteClasspath=error
diff --git a/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.launching.prefs b/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.launching.prefs
new file mode 100644
index 0000000000..97e8cb55cd
--- /dev/null
+++ b/org.eclipse.jdt.apt.ui/.settings/org.eclipse.jdt.launching.prefs
@@ -0,0 +1,3 @@
+#Wed Feb 02 12:03:56 EST 2011
+eclipse.preferences.version=1
+org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error

Back to the top