This bug was fixed in the package sat4j - 2.3.1-1ubuntu1
--------------- sat4j (2.3.1-1ubuntu1) quantal; urgency=low
* debian/ant.properties: - Use target=1.7 to fix build with OpenJDK7 (LP: #888997) -- Jeremy Bicha <email address hidden> Tue, 26 Jun 2012 11:49:17 -0400
This bug was fixed in the package sat4j - 2.3.1-1ubuntu1
---------------
sat4j (2.3.1-1ubuntu1) quantal; urgency=low
* debian/ ant.properties:
- Use target=1.7 to fix build with OpenJDK7 (LP: #888997)
-- Jeremy Bicha <email address hidden> Tue, 26 Jun 2012 11:49:17 -0400