diff options
author | Pierre-Charles David | 2016-02-04 09:36:28 +0000 |
---|---|---|
committer | Pierre-Charles David | 2016-02-10 16:26:58 +0000 |
commit | 07a55b276354df57870fde3f1640207287d890f2 (patch) | |
tree | 98ecb4ad76487c5ea124019bb4c19c689567bd48 /plugins/org.eclipse.sirius.common/.settings/org.eclipse.jdt.core.prefs | |
parent | bc5989607c7b6815e7742cc279a4985dc1a731f8 (diff) | |
download | org.eclipse.sirius-07a55b276354df57870fde3f1640207287d890f2.tar.gz org.eclipse.sirius-07a55b276354df57870fde3f1640207287d890f2.tar.xz org.eclipse.sirius-07a55b276354df57870fde3f1640207287d890f2.zip |
[version] Move to Java 1.7 as minimum required version
Change-Id: I5d14403e693ab23483f89b75142cb46afc61ec04
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
Diffstat (limited to 'plugins/org.eclipse.sirius.common/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | plugins/org.eclipse.sirius.common/.settings/org.eclipse.jdt.core.prefs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/org.eclipse.sirius.common/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.sirius.common/.settings/org.eclipse.jdt.core.prefs index 39e1d0d4d4..1a45a66fa2 100644 --- a/plugins/org.eclipse.sirius.common/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/org.eclipse.sirius.common/.settings/org.eclipse.jdt.core.prefs @@ -1,8 +1,8 @@ eclipse.preferences.version=1 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.6 +org.eclipse.jdt.core.compiler.compliance=1.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 @@ -66,7 +66,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disa org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=warning org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning -org.eclipse.jdt.core.compiler.source=1.6 +org.eclipse.jdt.core.compiler.source=1.7 org.eclipse.jdt.core.compiler.taskCaseSensitive=enabled org.eclipse.jdt.core.compiler.taskPriorities=NORMAL,HIGH,NORMAL,NORMAL,NORMAL,NORMAL,NORMAL,HIGH org.eclipse.jdt.core.compiler.taskTags=TODO,FIXME,XXX,TODOCBR,TODOMCH,TODOYMO,OPTIMISATION_POSSIBLE,TODONEWMM |