[jbosstools-dev] Eclipse version