static Map emptyMap() { ret new HashMap; }