Raphael Reitzig wrote: > * possibility to set output stream for error messages via grammar option: > @errors { System.err } (default) Note that you can do this yourself today with System.setErr().