java.lang.System.out.println("INFO: Finalize map.");
    static void finalize_map(java.lang.Object p0) {        Map m = (Map) p0;                if (m != null) {            m.references = null;            m.names = null;        } else {            java.lang.System.out.println("ERROR: Could not finalize map. The map is null.");        }    }