public LabeledToken(String token,int offset,String type,char position) {
      main=token;
      startOffset=offset;
      int period=type.indexOf('.');
      if (skipSubtype) {
    	period=-1;
      }
      if (period>=0) {
    	enamexType=type.substring(0,period);
    	subType=type.substring(period+1);
      }
      else {
        enamexType=type;
        subType=null;
      }
      this.position=position;
    }