Hi, this is a known problem, from your package information:
Depends (Version) | Installed ================================================-+-================== sat4j (>= 2.3.0) | 2.3.1-1 You should downgrade this library to 2.3.0-3 for the time being (the version is available in testing). Fix for the compatibility problem with newer sat4j will be included in the next eclipse package update. Regards, Jakub __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use debian-j...@lists.debian.org for discussions and questions.