@Override
      public void updateUI() {
        super.updateUI();
        if (myVersion != null) {
          PluginDetailsPageComponent.setFont(myVersion, tiny);
        }
        if (myVersionSize != null) {
          PluginDetailsPageComponent.setFont(myVersionSize, tiny);
        }
      }
@Override
      public void updateUI()