diff options
author | Szymon Brandys | 2011-02-01 13:42:01 +0000 |
---|---|---|
committer | Szymon Brandys | 2011-02-01 13:42:01 +0000 |
commit | 8898e97c5c730bb3767395117de2c9b54f4469a9 (patch) | |
tree | e02182b9d3b1e156726439aa0be3c02a54b5f412 /bundles/org.eclipse.ui.net | |
parent | 4ad8edc18a8653ef57bf3a244a1da99030fbf4d4 (diff) | |
download | eclipse.platform.team-8898e97c5c730bb3767395117de2c9b54f4469a9.tar.gz eclipse.platform.team-8898e97c5c730bb3767395117de2c9b54f4469a9.tar.xz eclipse.platform.team-8898e97c5c730bb3767395117de2c9b54f4469a9.zip |
Set "No strictly compatible JRE.." severity to error
Diffstat (limited to 'bundles/org.eclipse.ui.net')
-rw-r--r-- | bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.core.prefs | 13 | ||||
-rw-r--r-- | bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs | 3 |
2 files changed, 15 insertions, 1 deletions
diff --git a/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.core.prefs b/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.core.prefs index 17b98002f..a013c3791 100644 --- a/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.core.prefs +++ b/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.core.prefs @@ -1,8 +1,17 @@ -#Fri Feb 20 12:33:00 CET 2009 +#Tue Feb 01 14:41:02 CET 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.targetPlatform=1.2 org.eclipse.jdt.core.compiler.compliance=1.4 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=warning org.eclipse.jdt.core.compiler.problem.autoboxing=error @@ -83,3 +92,5 @@ org.eclipse.jdt.core.compiler.source=1.3 org.eclipse.jdt.core.compiler.taskCaseSensitive=enabled org.eclipse.jdt.core.compiler.taskPriorities=NORMAL,NORMAL org.eclipse.jdt.core.compiler.taskTags=TODO,XXX +org.eclipse.jdt.core.incompatibleJDKLevel=ignore +org.eclipse.jdt.core.incompleteClasspath=error diff --git a/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs b/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs new file mode 100644 index 000000000..69557b732 --- /dev/null +++ b/bundles/org.eclipse.ui.net/.settings/org.eclipse.jdt.launching.prefs @@ -0,0 +1,3 @@ +#Tue Feb 01 14:41:02 CET 2011 +eclipse.preferences.version=1 +org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=error |