more conventional parsing of code_stmts antiquotation

more conventional syntax for code_stmts antiquotation

avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts;