undo!
initial error marking!
slight modifications for start of method...
move reAnnotate calls to JP
cleanup imports in DocumentState
remove superfluous defs here
remove unused SimpleJavaEditor
remove superfluous parser here
another superfluous file
remove commented out CoqProgressMonitor
cleanup to reduce warnings
remove this piece of code from here
fix proveMethod a bit more
remove superfluous method + call
minor cleanups