remove vaaclipse tool projects from vaaclipse remove (and move them to
vaaclipse-tools repo)