308                         String currentDoc = docIt.next();

   308                         String currentDoc = docIt.next();

   309                         String[] lines = currentDoc.split("\n");

   309                         String[] lines = currentDoc.split("\n");

   310                         int firstLine = 0;

   310                         int firstLine = 0;

   311 

   311 

   312                         PRINT_PAGE: while (true) {

   312                         PRINT_PAGE: while (true) {

   313                             int toPrint = height - 1;

   315                             int toPrint = height - 1;

   314 

   316 

   315                             while (toPrint > 0 && firstLine < lines.length) {

   317                             while (toPrint > 0 && firstLine < lines.length) {

   316                                 in.println(lines[firstLine++]);

   318                                 in.println(lines[firstLine++]);

   317                                 toPrint--;

   319                                 toPrint--;