jDynamicTree - JTree with children made on demand