diff -ur jargs-1.0.orig/build.xml jargs-1.0/build.xml
--- jargs-1.0.orig/build.xml	2005-04-07 22:53:58.000000000 +0200
+++ jargs-1.0/build.xml	2020-05-06 07:31:39.305876988 +0200
@@ -3,8 +3,8 @@
    <property name="debug" value="on"/>
    <property name="build.src" value="src"/>
    <property name="build.classes" value="classes"/>
-   <property name="source-version" value="1.2" />
-   <property name="jdk-version" value="1.1" />
+   <property name="source-version" value="1.6" />
+   <property name="jdk-version" value="1.6" />
    <property name="javadoc.outdir" value="doc/api"/>
    <property name="javadoc.doctitle" value="JArgs command line option parsing library"/>
    <property name="javadoc.header" value='For updates and more see &lt;a target="_top" href="http://jargs.sourceforge.net/"&gt;jargs.sourceforge.net&lt;/a&gt;'/>