fixed npe
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Merge branch 'master' of github.com:mbeddr/mbeddr.core
removed the needsColoring Flag. Now handled via isTest.
Less ugly default checkbox images
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed bugs in the PLE stuff
added deps. to debugger.tests
Merge branch 'master' of github.com:mbeddr/mbeddr.core
syntax for alternative
added coloring of analyses results in editor
generator for alternatives works
bug fixes.
caching results
more work on the alternatives.
improved fatal error messages
a few renamings
Merge branch 'master' of github.com:mbeddr/mbeddr.core
fixed build script
editor improvements for PLE Stuff