parser version bump in eclipse files
a simple port of the ConstructTraceCommand from ProB 2.0