)/} $0 }]]> with source.groovy withWriter(charset) { … }