Changeset 30416 in osm for applications/editors/josm/plugins/mapdust

Timestamp:

2014-04-26T04:34:53+02:00 (11 years ago)

Author:

donvip

Message:

[josm_plugins] switch plugins to Java 7

Location:

applications/editors/josm/plugins/mapdust

Files:

• .classpath (modified) (1 diff)
• .settings/org.eclipse.jdt.core.prefs (modified) (2 diffs)
• build.xml (modified) (2 diffs)

applications/editors/josm/plugins/mapdust/.classpath

@@ -3 +3 @@
         <classpathentry kind="src" path="src"/>
         <classpathentry including="conf/|images/" kind="src" path=""/>
-        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.6"/>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
         <classpathentry kind="lib" path="lib/gson-1.5.jar"/>
         <classpathentry combineaccessrules="false" kind="src" path="/JOSM"/>

applications/editors/josm/plugins/mapdust/.settings/org.eclipse.jdt.core.prefs

@@ -1 @@
-#Sat Nov 13 11:09:26 EET 2010
 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
@@ -10 +9 @@
 org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
 org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.source=1.6
+org.eclipse.jdt.core.compiler.source=1.7

applications/editors/josm/plugins/mapdust/build.xml

@@ -3 +3 @@
     <!-- properties -->
     <property name="commit.message" value="MapDust bug reporter plugin"/>
-    <property name="plugin.main.version" value="6162"/>
+    <property name="plugin.main.version" value="7001"/>
 
     <property name="apidoc.dir" value="doc"/>
@@ -42 +42 @@
     <target name="javadoc">
         <mkdir dir="${apidoc.dir}"/>
-        <javadoc destdir="${apidoc.dir}" source="1.6" classpathref="classpath" windowtitle="MapDust plugin API">
-            <link href="http://java.sun.com/javase/6/docs/api/"/>
+        <javadoc destdir="${apidoc.dir}" source="1.7" classpathref="classpath" windowtitle="MapDust plugin API">
+            <link href="http://java.sun.com/javase/7/docs/api/"/>
             <link href="http://docs.jboss.org/hibernate/stable/core/api/"/>
             <packageset dir="${plugin.src.dir}">