@Override
      protected void onNodeStateChanged(CheckedTreeNode node) {
        super.onNodeStateChanged(node);
        updateOptionsPanel();
      }
@Override
      protected void onNodeStateChanged(CheckedTreeNode node)