Fix 872: String.split(<char>) for newline characters