Bug#595282: Acknowledgement (eclipse: Update 3.5.2-5 -> 3.5.2-6 causes Android SDK plugin to stop working)

[Athanasius]

  I tracked down snapshot.debian.org and managed to find the
problem.  It would appear to be the newer version of sat4j.  I first
wound back to each of the following:

http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/eclipse_3.5.2-5_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse-cdt/eclipse-cdt_3.1.2-2_i386.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse-emf/eclipse-emf_2.5.0-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse-emf/eclipse-emf-examples_2.5.0-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse-emf/eclipse-emf-sdk_2.5.0-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/eclipse-jdt_3.5.2-5_i386.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/eclipse-pde_3.5.2-5_i386.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/eclipse-platform_3.5.2-5_i386.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/eclipse-platform-data_3.5.2-5_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/eclipse-plugin-cvs_3.5.2-5_i386.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/eclipse-rcp_3.5.2-5_i386.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse-rse/eclipse-rse_3.1.2-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse-emf/eclipse-xsd_2.5.0-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse-emf/eclipse-xsd-sdk_2.5.0-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipselink/libeclipselink-java_2.1.0-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipselink/libeclipselink-java-doc_2.1.0-1_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/e/eclipse/libequinox-osgi-java_3.5.2-5_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/s/sat4j/sat4j_2.2.0-2_all.deb
http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/j/java-common/java-common_0.38_all.deb
(plus some dependencies reinstalled via 'aptitude install').

But still had the problem.  Then I double-checked /var/lib/dpkg.log and
it said I was on sat4j_2.2.0-1 before the upgrade, not sat4j_2.2.0-2, so
I wound that back using:

http://snapshot.debian.org/archive/debian/20100810T205427Z/pool/main/s/sat4j/sat4j_2.2.0-1_all.deb

And now it all works as it did before.

So the problem would seem to have been caused by:

2010-08-31 10:42:38 upgrade sat4j 2.2.0-1 2.2.0-3

However I note that installing all the latest versions of the above then
dpkg -i'ing sat4j_2.2.0-1_all.deb still results in the problem.