@Override public int getHeight() { return ((Tree<V, E>) delegate).getHeight(); }
@Override public synchronized int getHeight() { return ((Tree<V, E>) delegate).getHeight(); }
public synchronized int getHeight() { return ((Tree<V,E>)delegate).getHeight(); }
public int getHeight() { return ((Tree<V,E>)delegate).getHeight(); }