We should define this once, e.g., Strings2.LINE_SEPARATOR = Strings.format("%n").