diff options
author | Pierre-Charles David | 2017-01-24 15:47:32 +0000 |
---|---|---|
committer | Pierre-Charles David | 2017-02-06 10:26:09 +0000 |
commit | 3d7195c236dc53fe4d373dbf6dad760a3d0d7f7c (patch) | |
tree | 86120e30726a83a69b447b3192d0ec4423f9ab19 /plugins/org.eclipse.sirius.ui.ext/.settings/org.eclipse.jdt.core.prefs | |
parent | c192881b5e7654971d196debce016842c9306e55 (diff) | |
download | org.eclipse.sirius-3d7195c236dc53fe4d373dbf6dad760a3d0d7f7c.tar.gz org.eclipse.sirius-3d7195c236dc53fe4d373dbf6dad760a3d0d7f7c.tar.xz org.eclipse.sirius-3d7195c236dc53fe4d373dbf6dad760a3d0d7f7c.zip |
[495701] Upgrade BREE to Java 1.8
Bug: 495701
Change-Id: I48f51d128a2a4af3c705692a57cc87ef84e866eb
Signed-off-by: Pierre-Charles David <pierre-charles.david@obeo.fr>
Diffstat (limited to 'plugins/org.eclipse.sirius.ui.ext/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | plugins/org.eclipse.sirius.ui.ext/.settings/org.eclipse.jdt.core.prefs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/org.eclipse.sirius.ui.ext/.settings/org.eclipse.jdt.core.prefs b/plugins/org.eclipse.sirius.ui.ext/.settings/org.eclipse.jdt.core.prefs index 85dde556c0..8dea7eccd2 100644 --- a/plugins/org.eclipse.sirius.ui.ext/.settings/org.eclipse.jdt.core.prefs +++ b/plugins/org.eclipse.sirius.ui.ext/.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.7 +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve -org.eclipse.jdt.core.compiler.compliance=1.7 +org.eclipse.jdt.core.compiler.compliance=1.8 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.7 +org.eclipse.jdt.core.compiler.source=1.8 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 |