protected static Point getPoint (TokenStream ts) {
protected static Point getPoint (DockenStream ts) {
    protected static Point getPoint (TokenStream ts) {        return new Point (ts.getOffset(), ts.getLineno());    }