/**
* Called when the window has been closed.
*/
public void dispose() {
GatewayProcessManager gpm = GatewayProcessManager.getInstance();
if (mProcesses != null) {
for (int id : mProcesses.keySet()) {
gpm.getGatewayProcess(id).deleteObserver(this);
gpm.deregister(id);
}
}
gpm.deleteObserver(this);
}