git.eclipse.org / servertools / webtools.servertools / a4fa665ab680550391326b02434ec59e6a924c62 / plugins / org.eclipse.jst.server.generic.jonas / buildfiles / jonas.xml