tree used by java