File jformatstring-sourcetarget.patch of Package jformatstring
--- jformatstring-0/build.xml 2008-10-16 07:22:04.000000000 +0200 +++ jformatstring-0/build.xml 2017-09-18 13:54:04.825372158 +0200 @@ -10,7 +10,7 @@ <target name="classes"> <mkdir dir="build/classes"/> - <javac destdir="build/classes" source="1.5" target="1.5" debug="on"> + <javac destdir="build/classes" debug="on"> <src path="src/java"/> <src path="src/junit"/> <classpath>