244245246247248249250251252253254
} break; default: if (Character.isDigit(character)) { // INT BRANCH section = new IntegerLiteral(); section.setOffset(position); boolean flag = true; while (flag) { moveForward(); if (moveSuccess) {