Re: [jbosstools-dev] Are JBoss Tools master (targetting 4.2.0.Alpha1) branches open for commits?