git.eclipse.org / servertools / webtools.servertools / e04ef116385760a80acad999908d136b416b5ce9 / plugins / org.eclipse.jst.server.generic.jboss / .settings