public VarBadge(SuperNode superNode) {
   // mWorkSpace = ws;
   mSuperNode = superNode;
   // Initialize the entry list
   SuperNode parentNode = mSuperNode;
   mEntryList.clear();
   while (parentNode != null) {
     Vector<VarDef> varDefList = parentNode.getVarDefList();
     for (VarDef varDef : varDefList) {
       mEntryList.add(
           new Entry(
               parentNode,
               false,
               varDef.getConcreteSyntax(),
               varDef.getFormattedSyntax(),
               TextFormat.fillWithAttributes(varDef.getFormattedSyntax()).getSecond()));
     }
     parentNode = parentNode.getParentNode();
   }
   // Initialize size and location
   setSize(new Dimension(1, 1));
   setLocation(
       superNode.getVariableBadge().getPosition().getXPos(),
       superNode.getVariableBadge().getPosition().getYPos());
 }
 public void updateLocation(Point vector) {
   // Set new location
   setLocation(new Point(getLocation().x + vector.x, getLocation().y + vector.y));
   // Set the location on data model
   mSuperNode.getVariableBadge().setPosition(new Position(getLocation().x, getLocation().y));
 }