Beispiel #1
0
 public void dispose() {
   mapShell.dispose();
 }
 void dispose() {
   if (shell != null) shell.dispose();
   if (clipboard != null) clipboard.dispose();
 }