JTree with children made on demand [dev.]