From https://gitlab.eclipse.org/eclipse/escet/escet/-/issues/741#note_1799658: >>> Disable formatting of single line comments. Add Checkstyle check to ensure a space after `//`. >>> This will allow ASCII pictures, indented bullet lists, and so on. Addresses #741