4.0.0 org.overturetool ide 3.0.2 ../pom.xml pom org.overturetool.ide org.overture.ide.plugins Overture IDE core plugins GUI Providing GUI for all integrated core plugins coverageeditor csk quickinterpreter externaleditor latex poviewer combinatorialtesting developerutils uml2 rttraceviewer javagen features ui-tests false uml2.tests