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