jettyVersion
Used in maven: -DjettyVersion=${jettyVersion}
Only the Jetty release versions used in WTP releases will remain on the download site.
tychoVersion
MAVEN_FLAGS
CHERRY_PICKS
space-sparated list of repo+gerrit/rev #s to cherry pick (because we're often behind on gerrit reviews)
eg., for https://git.eclipse.org/r/#/c/117456/ use "webtools-common/webtools.common+117456/1"