git.eclipse.org / servertools / webtools.servertools / 59973f56091d45398079b669826d907a5850076e / features / org.eclipse.jst.server_ui.feature / epl-v10.html