git.eclipse.org / servertools / webtools.servertools / a512038065fea4f6ede79b65098505b48f926f33 / plugins / org.eclipse.jst.server.tomcat.core / .classpath