Developer documentation/Contributor guides for JBoss Tools developers