protected ArrayType arrayType(Position pos, Type type){
public ArrayType arrayType(Position pos, Type type){
    protected ArrayType arrayType(Position pos, Type type){        return new JL5ArrayType_c(this, pos, type);    }