* switched to java-11-compatible api

//			System.out.println(lines);

			lines.set(lines.size()-1, lines.get(lines.size()-1).substring(0, region.getEnd().getColumn()));

			lines.set(0, lines.get(0).substring(region.getStart().getColumn()-1));

			lines = lines.stream().filter(l -> !l.trim().startsWith("//")).toList();

			lines = lines.stream()

					.filter(l -> !l.trim().startsWith("//"))

					.collect(Collectors.toList());

			snippet = String.join(" ", lines)

					.replaceAll("\\s+", " ")

					;