sat4j version 2.3.0-3 failed to build with openjdk-7

[James Page]

During a rebuild test on precise with default-jdk switched to openjdk-7, a build failure was detected for sat4j version 2.3.0-3.

See attached log for full build failure details.

This log snippet might also be of interest:

    [javac] ^
    [javac] symbol: method decorated()
    [javac] location: class PBSolverDecorator
    [javac] /«PKGBUILDDIR»/org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverDecorator.java:62: error: cannot find symbol
    [javac] decorated().setObjectiveFunction(obj);
    [javac] ^
    [javac] symbol: method decorated()
    [javac] location: class PBSolverDecorator
    [javac] /«PKGBUILDDIR»/org.sat4j.pb/src/main/java/org/sat4j/pb/PBSolverDecorator.java:66: error: cannot find symbol
    [javac] return decorated().getObjectiveFunction();
    [javac] ^
    [javac] symbol: method decorated()
    [javac] location: class PBSolverDecorator
    [javac] /«PKGBUILDDIR»/org.sat4j.pb/src/main/java/org/sat4j/pb/OptToPBSATAdapter.java:105: error: cannot find symbol
    [javac] if (isVerbose()) {
    [javac] ^
    [javac] symbol: method isVerbose()
    [javac] location: class OptToPBSATAdapter
    [javac] /«PKGBUILDDIR»/org.sat4j.pb/src/main/java/org/sat4j/pb/OptToPBSATAdapter.java:106: error: cannot find symbol
    [javac] System.out.println(getLogPrefix()
    [javac] ^
    [javac] symbol: method getLogPrefix()
    [javac] location: class OptToPBSATAdapter
    [javac] /«PKGBUILDDIR»/org.sat4j.pb/src/main/java/org/sat4j/pb/OptToPBSATAdapter.java:114: error: cannot find symbol
    [javac] if (isVerbose()) {
    [javac] ^
    [javac] symbol: method isVerbose()
    [javac] location: class OptToPBSATAdapter
    [javac] Note: Some input files use or override a deprecated API.
    [javac] Note: Recompile with -Xlint:deprecation for details.
    [javac] Note: /«PKGBUILDDIR»/org.sat4j.pb/src/main/java/org/sat4j/pb/tools/DependencyHelper.java uses unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] 100 errors
    [javac] 1 warning

BUILD FAILED
/«PKGBUILDDIR»/build.xml:19: The following error occurred while executing this line:
/«PKGBUILDDIR»/build.xml:277: Compile failed; see the compiler error output for details.

Total time: 8 seconds
make[1]: *** [override_dh_auto_build] Error 1
make[1]: Leaving directory `/«PKGBUILDDIR»'
make: *** [build] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
────────────────────────────────────────────────────────────────────────────────
Build finished at 20111110-0331

Finished
────────

E: Build failure (dpkg-buildpackage died)

[James Page (james-page)]

Reconfirmed in Ubuntu Quantal - adding ftbfs tag.

[Launchpad Janitor (janitor)]

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