4.0.0 org.scribble.tools.eclipse plugins pom 0.4.0-SNAPSHOT Scribble::Tools::Eclipse::Plugins org.scribble.tools eclipse 0.4.0-SNAPSHOT org.scribble.editor org.scribble.editor.tools org.scribble.editor.trace org.scribble.editor.ui org.scribble.trace.editor org.scribble.trace.editor.ui