void () { while (!isEol()) { myPosition++; } if (hasMoreData()) { final char ch = myText.charAt(myPosition++); if (hasMoreData()) { final char ch2 = myText.charAt(myPosition); if (ch == '\r' && ch2 == '\n') { myPosition++; } } } }