void (String[] args) { // @replace region=copyright replacement="" /* Copyright * Blahblah */ // @end code: // @replace regex=code: replacement="..." System.out.println("Hello"); // @highlight substring=Hello System.out.println("Whole line"); // @highlight type="highlighted" // @replace region replacement=" ...omitted..." System.out.println("First"); System.out.println("Second"); // @end }