Entwicklungswerkzeuge
Eclipse Update Sites
Tomcat-Plugin
: https://devtools.his.de/tomcatplugin/updatesite
Ecl1
: https://devtools.his.de/ecl1/updatesite
Eclipse Macker
: https://devtools.his.de/eclipse-macker/updatesite