println("      \"Cannot insert ATerm in separated list (" + listType.getId()
println( "      \"Cannot insert ATerm in separated list (" + type.getId()
    protected void genOverrideInsertMethod() {        println("  public aterm.ATermList insert(aterm.ATerm head) {");        println("    throw new java.lang.UnsupportedOperationException(");        println("      \"Cannot insert ATerm in separated list ("                + listType.getId()                + "), use a factory make method.\");");        println("  }");        println();    }