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