public TEnd() { super.setText("end"); }
public TEnd(int line, int pos) { super.setText("end"); setLine(line); setPos(pos); }