+ factoryGetter()
+ buildFactoryGetter()
    protected void genGetEmptyMethod() {        String className = TypeGenerator.className(type);        println("  public aterm.ATermList getEmpty() {");        println(            "    return (aterm.ATermList)"                + factoryGetter()                + ".make"                + className                + "();");        println("  }");        println();    }