@Override
	protected int skipWhiteSpace(String s, int begin, int end) throws ParseException {
		int b = begin;
		while (true) {
			b = super.skipWhiteSpace(s, b, end);
			if (b < end - 2 && s.startsWith("/*", b)) {
				int c = s.indexOf("*/", b + 1);
				if (c < 0) {
					throw new RuntimeException("Comment not closed in " + pos(b));
				}
				b = c + 2;
			} else if (b < end - 2 && s.startsWith("//", b)) {
				int c = s.indexOf("\n", b + 2);
				if (c < 0) {
					c = s.length();
				}
				b = c + 1;
			}
			if (b == begin) {
				return begin;
			}
			begin = b;
		}
	}