update JavaDoc comments of Map.java