Optimization in Marker.java: reduction of distinct MarkerAttribute instances (see also Bugzilla 41044)