Fix buildfiles to make sbteclipse work again