conversion to 1.8

README

@@ -58,7 +58,7 @@ ant
 
 1. General remarks
 
-Joana needs Java 1.7 or above.
+Joana needs Java 1.8 or above.
 
 We suggest to use and compile Joana using eclipse, but you may also just
 build and use its core parts with ant. Please see the "Building Joana with
@@ -232,7 +232,7 @@ The whole Joana project uses UTF-8 and Unix line delimiter for all text files.
 You can find code template, formatter and style definitions for Eclipse in the
 joana-*.xml files in the root directory.
 
-All joana projects should use the Java-1.7 execution environment. Use
+All joana projects should use the Java-1.8 execution environment. Use
 classpath options in Eclipse to change this.
 
 Use the Java code conventions and common sense. Common sense is allowed to

api/joana.api.annotations.ignore/.classpath

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/joana.ui.annotations"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>

api/joana.api.annotations.ignore/.settings/org.eclipse.jdt.core.prefs

@@ -9,12 +9,12 @@ org.eclipse.jdt.core.classpath.exclusionPatterns=enabled
 org.eclipse.jdt.core.classpath.multipleOutputLocations=enabled
 org.eclipse.jdt.core.classpath.outputOverlappingAnotherSource=error
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
-org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.8
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

api/joana.api.annotations.passon/.classpath

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/joana.ui.annotations"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>

api/joana.api.annotations.passon/.settings/org.eclipse.jdt.core.prefs

@@ -9,16 +9,16 @@ org.eclipse.jdt.core.classpath.exclusionPatterns=enabled
 org.eclipse.jdt.core.classpath.multipleOutputLocations=enabled
 org.eclipse.jdt.core.classpath.outputOverlappingAnotherSource=error
 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
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.8
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

api/joana.api.test/.classpath

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="lib" path="/joana.contrib.lib/junit-4.11.jar"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/joana.api"/>

api/joana.api.test/.settings/org.eclipse.jdt.core.prefs

@@ -19,12 +19,12 @@ org.eclipse.jdt.core.codeComplete.staticFieldSuffixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldPrefixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldSuffixes=
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
-org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.8
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

api/joana.api.test/META-INF/MANIFEST.MF

@@ -4,5 +4,5 @@ Bundle-Name: Test
 Bundle-SymbolicName: joana.api.test
 Bundle-Version: 1.0.0.qualifier
 Export-Package: .
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Require-Bundle: joana.contrib.lib;bundle-version="1.0.0"

api/joana.api.test/build.xml

@@ -30,7 +30,7 @@
 
 	<target name="dirty_compile" depends="init,compile_all_testprograms" >
 		<mkdir dir="${project.build.classes}" />
-		<javac srcdir="${project.source}" destdir="${project.build.classes}" verbose="no" source="1.7" target="1.7" encoding="utf-8" includeantruntime="false" classpath="${project.joanalib}:${joana.api.testdata.classpath}"/>	
+		<javac srcdir="${project.source}" destdir="${project.build.classes}" verbose="no" source="1.8" target="1.8" encoding="utf-8" includeantruntime="false" classpath="${project.joanalib}:${joana.api.testdata.classpath}"/>	
 	</target>
 
 	<target name="copy_joana_api" depends="compile_joana_api">
@@ -103,15 +103,15 @@
 		<mkdir dir="${annotations.ignore.classpath}" />
 
 		<!-- Second step: do actual compilation -->
-		<javac srcdir="${joana.api.annotations.ignore.base.dir}/src" destdir="${annotations.ignore.classpath}" verbose="no" source="1.7" target="1.7" encoding="utf-8" includeantruntime="false" classpath="${joana.dist.dir}/joana.ui.annotations.jar"/>
-		<javac srcdir="${joana.api.annotations.passon.base.dir}/src" destdir="${annotations.passon.classpath}" verbose="no" source="1.7" target="1.7" encoding="utf-8" includeantruntime="false" classpath="${joana.dist.dir}/joana.ui.annotations.jar"/>
-		<javac srcdir="${joana.api.testdata.base.dir}/src" destdir="${joana.api.testdata.classpath}" verbose="no" source="1.7" target="1.7" encoding="utf-8" includeantruntime="false">
+		<javac srcdir="${joana.api.annotations.ignore.base.dir}/src" destdir="${annotations.ignore.classpath}" verbose="no" source="1.8" target="1.8" encoding="utf-8" includeantruntime="false" classpath="${joana.dist.dir}/joana.ui.annotations.jar"/>
+		<javac srcdir="${joana.api.annotations.passon.base.dir}/src" destdir="${annotations.passon.classpath}" verbose="no" source="1.8" target="1.8" encoding="utf-8" includeantruntime="false" classpath="${joana.dist.dir}/joana.ui.annotations.jar"/>
+		<javac srcdir="${joana.api.testdata.base.dir}/src" destdir="${joana.api.testdata.classpath}" verbose="no" source="1.8" target="1.8" encoding="utf-8" includeantruntime="false">
 			<classpath>
 				<pathelement location="${joana.dist.dir}/joana.ui.annotations.jar"/>
 				<pathelement location="${annotations.passon.classpath}"/>
 			</classpath>
 		</javac>
-		<javac srcdir="${joana.example.many-small-progs.dir}/src" destdir="${joana.many.small.programs.classpath}" verbose="no" source="1.7" target="1.7" encoding="utf-8" includeantruntime="false"/>
+		<javac srcdir="${joana.example.many-small-progs.dir}/src" destdir="${joana.many.small.programs.classpath}" verbose="no" source="1.8" target="1.8" encoding="utf-8" includeantruntime="false"/>
 	</target>
 
 

api/joana.api.testdata/.classpath

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/joana.api.annotations.passon"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>

api/joana.api.testdata/.settings/org.eclipse.jdt.core.prefs

@@ -14,8 +14,8 @@ org.eclipse.jdt.core.compiler.annotation.nonnullbydefault=org.eclipse.jdt.annota
 org.eclipse.jdt.core.compiler.annotation.nullable=org.eclipse.jdt.annotation.Nullable
 org.eclipse.jdt.core.compiler.annotation.nullanalysis=disabled
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
-org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.annotationSuperInterface=warning
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
@@ -98,7 +98,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disa
 org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=ignore
 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.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

api/joana.api/.classpath

@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry combineaccessrules="false" kind="src" path="/joana.ui.annotations"/>
 	<classpathentry kind="output" path="bin"/>

api/joana.api/.settings/org.eclipse.jdt.core.prefs

@@ -19,16 +19,16 @@ org.eclipse.jdt.core.codeComplete.staticFieldSuffixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldPrefixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldSuffixes=
 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
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.8
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

api/joana.api/META-INF/MANIFEST.MF

@@ -19,4 +19,4 @@ Require-Bundle: com.ibm.wala.core;bundle-version="1.1.3",
  com.ibm.wala.shrike;bundle-version="1.3.1",
  joana.wala.util;bundle-version="0.0.1",
  joana.wala.summary
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

api/joana.api/build.xml

@@ -45,8 +45,8 @@
 			srcdir="${dest.dir.sources}"
 			destdir="${dest.dir.classes}"
 			verbose="no"
-			source="1.7"
-			target="1.7"
+			source="1.8"
+			target="1.8"
 			encoding="utf-8"
 			classpathref="lib.path.ref"
 		/>

contrib/lib/.classpath

@@ -7,7 +7,7 @@
 	<classpathentry exported="true" kind="lib" path="jutil.jar"/>
 	<classpathentry exported="true" kind="lib" path="trove-3.0.0a3.jar"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry kind="lib" path="logback-classic-1.0.9.jar"/>
 	<classpathentry kind="lib" path="logback-core-1.0.9.jar"/>
 	<classpathentry kind="output" path="bin"/>

contrib/lib/.settings/org.eclipse.jdt.core.prefs

@@ -19,16 +19,16 @@ org.eclipse.jdt.core.codeComplete.staticFieldSuffixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldPrefixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldSuffixes=
 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
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.8
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

contrib/lib/META-INF/MANIFEST.MF

@@ -55,4 +55,4 @@ Export-Package: gnu.trove,
  org.slf4j,
  org.slf4j.helpers,
  org.slf4j.spi
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

deprecated/jSDG-GUI/.classpath

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>

deprecated/jSDG-GUI/.settings/org.eclipse.jdt.core.prefs

@@ -19,12 +19,12 @@ org.eclipse.jdt.core.codeComplete.staticFieldSuffixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldPrefixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldSuffixes=
 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
-org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.8
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

deprecated/jSDG-GUI/META-INF/MANIFEST.MF

@@ -50,4 +50,4 @@ Export-Package: edu.kit.joana.deprecated.jsdg.gui;
    org.eclipse.swt.widgets,
    org.eclipse.debug.core.model,
    edu.kit.joana.wala.util"
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8

deprecated/jSDG/.classpath

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry excluding="edu.kit.joana.deprecated.jsdg/immutables/|edu.kit.joana.deprecated.jsdg/exceptions/zea/" kind="src" path="src"/>
 	<classpathentry kind="output" path="bin"/>

deprecated/jSDG/.settings/org.eclipse.jdt.core.prefs

@@ -19,16 +19,16 @@ org.eclipse.jdt.core.codeComplete.staticFieldSuffixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldPrefixes=
 org.eclipse.jdt.core.codeComplete.staticFinalFieldSuffixes=
 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
 org.eclipse.jdt.core.compiler.maxProblemPerUnit=100
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.7
+org.eclipse.jdt.core.compiler.source=1.8
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_allocation_expression=16
 org.eclipse.jdt.core.formatter.alignment_for_arguments_in_annotation=0

deprecated/jSDG/META-INF/MANIFEST.MF

@@ -28,5 +28,5 @@ Export-Package: edu.kit.joana.deprecated.jsdg,
  edu.kit.joana.deprecated.jsdg.wala,
  edu.kit.joana.deprecated.jsdg.wala.objecttree
 Bundle-ClassPath: .
-Bundle-RequiredExecutionEnvironment: JavaSE-1.7
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Bundle-ActivationPolicy: lazy

doc/convert_1.7_to-1.8.sh

@@ -0,0 +1,26 @@
+#!/bin/bash
+
+#JavaSE-1.7
+#source=\"1.7\"
+#source=1.7
+#target=\"1.7\"
+#target=1.7
+#compliance=\"1.7\"
+#compliance=1.7
+#targetPlatform=\"1.7\"
+#targetPlatform=1.7
+
+PATTERNS=(\\\(JavaSE-\\\)\\\(1.7\\\) \\\(source\=\"\\\)\\\(1.7\\\) \\\(source\=\\\)\\\(1.7\\\) \\\(target\=\"\\\)\\\(1.7\\\) \\\(target\=\\\)\\\(1.7\\\) \\\(compliance\=\"\\\)\\\(1.7\\\) \\\(compliance\=\\\)\\\(1.7\\\) \\\(targetPlatform\=\"\\\)\\\(1.7\\\) \\\(targetPlatform\=\\\)\\\(1.7\\\))
+
+
+for (( i = 0 ; i < ${#PATTERNS[@]} ; i=$i+1 ));
+do
+  echo ${PATTERNS[${i}]}
+  find api/ deprecated/ doc/ example/ ifc/ ui/ util/ wala/ -name "*.xml" -exec sed -i -e "s/${PATTERNS[${i}]}/\11.8/g" {} \;
+  find api/ deprecated/ doc/ example/ ifc/ ui/ util/ wala/ -name "*.classpath" -exec sed -i -e "s/${PATTERNS[${i}]}/\11.8/g" {} \;
+  find api/ deprecated/ doc/ example/ ifc/ ui/ util/ wala/ -name "MANIFEST.MF" -exec sed -i -e "s/${PATTERNS[${i}]}/\11.8/g" {} \;
+  find api/ deprecated/ doc/ example/ ifc/ ui/ util/ wala/ -name "org.eclipse.jdt.core.prefs" -exec sed -i -e "s/${PATTERNS[${i}]}/\11.8/g" {} \;
+done
+
+
+#grep -R "1.7" api/ deprecated/ doc/ example/ ifc/ ui/ util/ wala/ | grep -v source=\"1.7\" | grep -v JavaSE-1.7 | grep -v source=1.7 | grep -v target=\"1.7\"  | grep -v target=1.7  | grep -v compliance=\"1.7\"  | grep -v  compliance=1.7  | grep -v targetPlatform=\"1.7\" | grep -v targetPlatform=1.7 | less