Hotfix for a bug with ReorderableJTree