[jbosstools-dev] JBossTools nightly build 200807211837-nightly results