improved formatting for generated JML comments