I can confirm that Niels' patch fixed the FTBFS of sat4j and eclipse on Ubuntu 12.10 Alpha "Quantal" which has already made the switch to OpenJDK 7 by default.
Jeremy -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

