SourceDecl.java

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

public class SourceDecl {
    public boolean isExtension() {
        return tok[1].getTokenName().equals( "" );
    }
}