--- a/etc/sets/devtools	Wed Feb 20 20:55:34 2013 +0100
+++ b/etc/sets/devtools	Sun Jan 20 16:38:05 2013 +0100
@@ -2,7 +2,6 @@
 app-editors/gvim
 dev-util/android-sdk-update-manager
 dev-util/checkstyle
-dev-util/eclipse-sdk
 dev-util/meld
 dev-util/valgrind
 dev-vcs/git