constructor: allow default logic; kill: refer to "isabelle.kill" system property;
constructor: allow default logic;
kill: refer to "isabelle.kill" system property;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle