pure interface of class PremonJJTCatCentral

public class PremonJJTCatCentral
  extends PremonJJTCat
{
    public PremonJJTCatCentral(int id);
    public void print(Printer p);
    public PremonCat desugar();
}