JCTree node print