protected synchronized void disposeExecutingSynchronizer() {
if (executingSynchronizer != null) {
executingSynchronizer.dispose();
executingSynchronizer = null;
}
}
public void dispose() {
if (resource != null) {
resource.dispose();
resource = null;
}
}