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