public readLines() as ArrayList<String> throws IOException:
Reads all remaining standard-input lines.
Ordered lines with their line terminators preserved.
lines = Application.in.readLines()