[pkg-java] r16418 - trunk/libjgrapht-java/branch_0.8/debian

[Giovanni Mascellani]

Author: gio
Date: 2013-03-14 18:24:40 +0000 (Thu, 14 Mar 2013)
New Revision: 16418

Added:
   trunk/libjgrapht-java/branch_0.8/debian/ant.properties
Modified:
   trunk/libjgrapht-java/branch_0.8/debian/changelog
Log:
Force generation of 1.6-compatible Java classes

Added: trunk/libjgrapht-java/branch_0.8/debian/ant.properties
===================================================================
--- trunk/libjgrapht-java/branch_0.8/debian/ant.properties	                        (rev 0)
+++ trunk/libjgrapht-java/branch_0.8/debian/ant.properties	2013-03-14 18:24:40 UTC (rev 16418)
@@ -0,0 +1,5 @@
+# Ensure that source and target are 1.6
+# (upstream uses source 1.6, so 1.5 is not usable)
+# For backwards compat on Java 7
+ant.build.javac.source=1.6
+ant.build.javac.target=1.6

Modified: trunk/libjgrapht-java/branch_0.8/debian/changelog
===================================================================
--- trunk/libjgrapht-java/branch_0.8/debian/changelog	2013-03-03 14:04:38 UTC (rev 16417)
+++ trunk/libjgrapht-java/branch_0.8/debian/changelog	2013-03-14 18:24:40 UTC (rev 16418)
@@ -1,3 +1,9 @@
+libjgrapht0.8-java (0.8.3-2) experimental; urgency=low
+
+  * Force generation of 1.6-compatible Java classes (LP: #1049716).
+
+ -- Giovanni Mascellani <gio at debian.org>  Thu, 14 Mar 2013 19:14:28 +0100
+
 libjgrapht0.8-java (0.8.3-1) unstable; urgency=low
 
   * New upstream version.