Bug#663335: [eclipse] Eclipse missing java development funcionality

[Jakub Adam]

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