AstToken.java

import java.util.*;
import Jakarta.util.FixDosOutputStream;
import java.io.*;

// AstToken already implements lineNum.  This makes it offical
// to the Java compiler that AstToken implements the refined
// version of AstTokenInterface

public class AstToken
    implements AstTokenInterface {}