used Map[] so scala_library.min.jar rebuild