public void refresh() { if (fToUpdate && !update()) { if (fContendedMonitor != null) { fContendedMonitor.refresh(); } for (int i = 0; i < fOwnedMonitors.length; i++) { fOwnedMonitors[i].refresh(); } } }