readEmptyOrCommentLines() has only one return.