407408409410411412413414415416
}finally{ workspace.removeResourceChangeListener(rcl); } }finally{ if (change != null) { change.dispose(); } } } }