Beispiel #1
0
 public void redraw() {
   renderWorker.submit(new Map(map));
 }
Beispiel #2
0
 public void destroy() {
   map.close();
   renderWorker.shutdown();
 }