Commit 7921ce1a 7921ce1a6f8a2663f6fab5b58fa6e1997a66875d by Christian Gerdes

Lyft JavaMonWeb till Java 1.8 (från 1.7)

1 parent 94df3d32
1 eclipse.preferences.version=1 1 eclipse.preferences.version=1
2 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled 2 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 3 org.eclipse.jdt.core.compiler.codegen.methodParameters=do not generate
4 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
4 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve 5 org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
5 org.eclipse.jdt.core.compiler.compliance=1.7 6 org.eclipse.jdt.core.compiler.compliance=1.8
6 org.eclipse.jdt.core.compiler.debug.lineNumber=generate 7 org.eclipse.jdt.core.compiler.debug.lineNumber=generate
7 org.eclipse.jdt.core.compiler.debug.localVariable=generate 8 org.eclipse.jdt.core.compiler.debug.localVariable=generate
8 org.eclipse.jdt.core.compiler.debug.sourceFile=generate 9 org.eclipse.jdt.core.compiler.debug.sourceFile=generate
9 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error 10 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
11 org.eclipse.jdt.core.compiler.problem.enablePreviewFeatures=disabled
10 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error 12 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
13 org.eclipse.jdt.core.compiler.problem.reportPreviewFeatures=warning
11 org.eclipse.jdt.core.compiler.release=disabled 14 org.eclipse.jdt.core.compiler.release=disabled
12 org.eclipse.jdt.core.compiler.source=1.7 15 org.eclipse.jdt.core.compiler.source=1.8
......
...@@ -3,7 +3,7 @@ ...@@ -3,7 +3,7 @@
3 <fixed facet="wst.jsdt.web"/> 3 <fixed facet="wst.jsdt.web"/>
4 <fixed facet="java"/> 4 <fixed facet="java"/>
5 <fixed facet="jst.web"/> 5 <fixed facet="jst.web"/>
6 <installed facet="java" version="1.7"/>
7 <installed facet="jst.web" version="3.0"/> 6 <installed facet="jst.web" version="3.0"/>
8 <installed facet="wst.jsdt.web" version="1.0"/> 7 <installed facet="wst.jsdt.web" version="1.0"/>
8 <installed facet="java" version="1.8"/>
9 </faceted-project> 9 </faceted-project>
......