Changeset 30416 in osm for applications/editors/josm/plugins/mapdust/build.xml

Timestamp:

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

Author:

donvip

Message:

[josm_plugins] switch plugins to Java 7

File:

• applications/editors/josm/plugins/mapdust/build.xml (modified) (2 diffs)

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}">