synchroNavigableMap (JDK 8+, safe to compile on 1.7)