static Map synchroTreeMap() {
  return Collections.synchronizedMap(new TreeMap());
}