Adjust Eclipse and JBoss tools version