repainting sometimes missed after panning in JMapPane

A user reported this problem via email...

Hello Michael,

I had problems with repainting map when using pan tool on JMapPane.
Problem was that image is not repainted always after moving. I was free
to experiment little with code in PanTool and add little change in onMouseReleased() method:

javax.swing.SwingUtilities.invokeLater(new Runnable() {
public void run()

});

After that change i noticed that map is always repainted properly.

I tried to isolate when map repainting problem happens. I think that it is when
i zoom on the map and show all features with rich styling. What i am pretty sure is
that it happens in situations when it is needed more time to GTRenderer to render map.

I am not quite sure either why that fix my issue but i am tested it and it works. After sheduling
repaint i never got situation that map is not repainted properly. Without that i got sometimes
map with blank regions and when i minimize-maximize main frame i got map repainted.