jasmin3: refactored EventManager, added JSON Editor