Parameters

Used in maven: -DjettyVersion=${jettyVersion} Only the Jetty release versions used in WTP releases will remain on the download site.

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"