469470471472473474475476477478479
// synchronized (props) { props.remove(key); // } Document doc = getRawDocument(); synchronized (doc) { doc.removeItem(key); } // synchronized (removedProperties_) { getRemovedPropertiesInt().add(key); // } // synchronized (propKeys_) {
615616617618619620621622623624625
} // } // synchronized (removedProperties_) { for (String key : getRemovedPropertiesInt()) { doc.removeItem(key); } // } } @Override