Added translation of classes
Restricted translation to blocks only
updated s2c
added new version of dwarf simple
Merge remote-tracking branch 'origin/kel/s2c' into jwc/base
Merge remote-tracking branch 'origin/test' into kel/base
changed debug target such that it again lets the external process get 500ms to write any errors to the console when reporting that it terminated.
code format
fixed error logging in the model checker plugin and cleaned up unused imports