Boris and me developed the TLA+ Eclipse plugin. Further we introduce a new site, to be a home of such projects: http://www.techjava.de/

The http://www.techjava.de/ will be filled with information soon.