git.eclipse.org / servertools / webtools.servertools / 45563e2c09babeca48a9ac7b6c6852daee7894a9 / plugins / org.eclipse.jst.server.generic.jboss / plugin.xml