git.eclipse.org / servertools / webtools.servertools / 5f5cd5695b1e8562df5c5cc11d8f283634b32665 / plugins / org.eclipse.jst.server.generic.jonas / plugin.xml