public void skipToEndOfSubtree() {
		while (true) {
			Tree token = LA(1);

			if (token == null) {
				if (DEBUG) {
					System.out.println(this.depth + ": At end of subtree.");
				}
				return;

			} else if (token.getType() == Token.EOF) {
				if (DEBUG) {
					System.out.println(this.depth
							+ ": At end of file. Unbalanced tree ?");
				}
				return;

			} else {
				consumeOne();
				if (DEBUG) {
					System.out.println(this.depth + ": Skipping " + token);
				}
			}
		}
	}