void () { // fast forward through the leading whitespace nextNonWhitespace(true); position--; if (position + NON_EXECUTE_PREFIX.length > limit) { return; } for (int i = 0; i < NON_EXECUTE_PREFIX.length; i++) { if (sourceSequence.charAt(position + i) != NON_EXECUTE_PREFIX[i]) { return; // not a security token! } } // we consumed a security token! position += NON_EXECUTE_PREFIX.length; }