Hi Maintainers of eclipse-platform, I'm about to do some cleanup of the sat4j package; the most notable change will be that the jars will move to /usr/share/java as I will use jh_installlibs to handle this nicely.
I'm not sure whether this affects eclipse or not, but I wanted to let you know at least. If this is a problem, please let me know. Best, Michael PS.: I'm not subscribed, so please keep me CC'ed
pgpWew19wKrFV.pgp
Description: PGP signature
__ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.

