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