Updated for Eclipse, Idea, Gradle and ProB