Additional "stabilizations" to getJetty.sh