git.eclipse.org / servertools / webtools.servertools / 2c15014d40c9061cca0f120fd4d03b84ce3e70d4 / plugins / org.eclipse.jst.server.generic.jonas / .settings