make messages and events sealed
include µpickle
supress deprecation waringn for DelayedInit
fix scala plugin for 2.11
improve isabelle mode