!759 set flag debug_jreplace. static HashMap asHashMap(Map map) { if (map instanceof HashMap) ret (HashMap) map; HashMap m = new(0); m.putAll(map); ret m; }