Class JTreeASTModel