PROBCORE-404 Working on typing for Proof objects. Decided to create an AbstractClass instead of Interface.
PROBCORE-404 Added attribute to EventBConstant to mark if it is an abstract constant or not.
PROBCORE-404 Created first prototype for translating EventBModel to Prolog.
PROBCORE-404 Replaced loading mechanism with new mechanism
fixed PROBCORE-432
PROBCORE-404 Fixed double start problem
PROBCORE-404 Trying to make stuff faster.
implemented bmotion studio view for eclipse ui
Experimenting experimenting experimenting
PROBCORE-404 Working on translation stuff.
Revert "PROBCORE-404 Replaced old implementation of EventBTranslator with new implementation of EventBTranslator in Start Animation Handler."

This reverts commit ca50d5b504b7a029d1e4db4e655844c61ce6fdb1.
Revert "PROBCORE-404 The Eclipse plugin now uses the new translator."

This reverts commit e2f2544cad548b5f14e381e21fd872e0fba6ae29.
Fixed project setup and reverted to old translation mechanism for speed.
PROBCORE-404 Translation appears to work correctly.
loading template from files
removed some print statements
extended FileBrowserServlet.java in order to work with fixed workspaces
bmotion studio works with template files
PROBCORE-404 Refactored the representation of a proof for the 5th time.
PROBCORE-404 New mechanism for dealing with invariants and axioms.