NameId.java

public class NameId {
    public String GetName() {
        return tok[0].tokenName();
    }
}