duplicate name in gradle eclipse definition for de.prob.ui and de.prob.ui.worksheet. Changed name in worksheet script from de.prob.ui to de.prob.ui.worksheet