Fixed version string and copyright

KeYProject · Dec 22, 2016 · f2101bb · f2101bb
1 parent 75e0443
commit f2101bb
Show file tree

Hide file tree

Showing 6 changed files with 21 additions and 22 deletions.
diff --git a/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.resources.ui/.classpath b/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.resources.ui/.classpath
@@ -2,6 +2,6 @@
 <classpath>
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
diff --git a/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.resources/.classpath b/KeY4Eclipse/src/plugins/org.key_project.key4eclipse.resources/.classpath
@@ -1,7 +1,7 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
-	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
-	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
-	<classpathentry kind="output" path="bin"/>
-</classpath>
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+	<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="output" path="bin"/>
+</classpath>
diff --git a/...ey4eclipse.resources/src/org/key_project/key4eclipse/resources/builder/ProofRunnable.java b/...ey4eclipse.resources/src/org/key_project/key4eclipse/resources/builder/ProofRunnable.java
@@ -25,7 +25,6 @@
 import org.key_project.util.eclipse.ResourceUtil;
 import org.key_project.util.java.StringUtil;
 
-import com.sun.xml.internal.messaging.saaj.util.ByteOutputStream;
 
 import de.uka.ilkd.key.control.DefaultUserInterfaceControl;
 import de.uka.ilkd.key.control.KeYEnvironment;
@@ -54,7 +53,7 @@
 /**
  * Runnable to perform the actual proof execution.
  * 
- * @author Stefan Käsdorf
+ * @author Stefan K�sdorf
  */
 public class ProofRunnable implements Runnable {
 

diff --git a/KeY4Eclipse/src/tests/org.key_project.key4eclipse.resources.ui.test/.classpath b/KeY4Eclipse/src/tests/org.key_project.key4eclipse.resources.ui.test/.classpath
@@ -3,6 +3,6 @@
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.junit.JUNIT_CONTAINER/4"/>
 	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>
diff --git a/KeY4Eclipse/src/updateSite/org.key_project.luna/site.xml b/KeY4Eclipse/src/updateSite/org.key_project.luna/site.xml
@@ -3,34 +3,34 @@
    <description name="KeY Luna Updates" url="http://www.key-project.org/download/releases/eclipse/luna">
       This update site provides the currently released KeY based Eclipse projects for the Eclipse Luna release.
    </description>
-   <feature url="features/org.key_project.key4eclipse.starter.feature_1.0.0.qualifier.jar" id="org.key_project.key4eclipse.starter.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.key4eclipse.starter.feature_1.0.0.201612211404.jar" id="org.key_project.key4eclipse.starter.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.verification"/>
    </feature>
-   <feature url="features/org.key_project.sed.feature_1.0.0.qualifier.jar" id="org.key_project.sed.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.sed.feature_1.0.0.201612211404.jar" id="org.key_project.sed.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.debugging"/>
    </feature>
-   <feature url="features/de.hentschel.visualdbc.feature_1.0.0.qualifier.jar" id="de.hentschel.visualdbc.feature" version="1.0.0.qualifier">
+   <feature url="features/de.hentschel.visualdbc.feature_1.0.0.201612211404.jar" id="de.hentschel.visualdbc.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.visualization"/>
    </feature>
-   <feature url="features/org.key_project.monkey.feature_1.0.0.qualifier.jar" id="org.key_project.monkey.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.monkey.feature_1.0.0.201612211404.jar" id="org.key_project.monkey.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.verification"/>
    </feature>
-   <feature url="features/org.key_project.keyide.feature_1.0.0.qualifier.jar" id="org.key_project.keyide.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.keyide.feature_1.0.0.201612211404.jar" id="org.key_project.keyide.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.verification"/>
    </feature>
-   <feature url="features/org.key_project.key4eclipse.resources.feature_1.0.0.qualifier.jar" id="org.key_project.key4eclipse.resources.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.key4eclipse.resources.feature_1.0.0.201612211404.jar" id="org.key_project.key4eclipse.resources.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.verification"/>
    </feature>
-   <feature url="features/org.key_project.shellutility.feature_1.0.0.qualifier.jar" id="org.key_project.shellutility.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.shellutility.feature_1.0.0.201612211404.jar" id="org.key_project.shellutility.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.utilities"/>
    </feature>
-   <feature url="features/org.key_project.stubby.feature_1.0.0.qualifier.jar" id="org.key_project.stubby.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.stubby.feature_1.0.0.201612211404.jar" id="org.key_project.stubby.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.utilities"/>
    </feature>
-   <feature url="features/org.key_project.jmlediting.feature_1.0.0.qualifier.jar" id="org.key_project.jmlediting.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.jmlediting.feature_1.0.0.201612211404.jar" id="org.key_project.jmlediting.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.editing"/>
    </feature>
-   <feature url="features/org.key_project.removegenerics.feature_1.0.0.qualifier.jar" id="org.key_project.removegenerics.feature" version="1.0.0.qualifier">
+   <feature url="features/org.key_project.removegenerics.feature_1.0.0.201612211404.jar" id="org.key_project.removegenerics.feature" version="1.0.0.201612211404">
       <category name="org.key_project.category.utilities"/>
    </feature>
    <category-def name="org.key_project.category.verification" label="Verification">

diff --git a/key/key.core/src/de/uka/ilkd/key/util/KeYConstants.java b/key/key.core/src/de/uka/ilkd/key/util/KeYConstants.java
@@ -8,7 +8,7 @@ public interface KeYConstants {
    public static final String COPYRIGHT = UnicodeHelper.COPYRIGHT
                                           + " Copyright 2001"
                                           + UnicodeHelper.ENDASH
-                                          + "2015 "
+                                          + "2016 "
                                           + "Karlsruhe Institute of Technology, "
                                           + "Chalmers University of Technology, and Technische Universit\u00e4t Darmstadt";
 }