svoid syncNotifyAll(O o) {
  if (o != null) synchronized(o) { o.notifyAll(); }
}