/** Used at SettingsMenu. */
 @Override
 public String toString() {
   final StringBuilder b = new StringBuilder();
   final boolean notSuccessful =
       (gameVersion.getSuccessful() == null) || !gameVersion.getSuccessful();
   if (notSuccessful) {
     b.append("[");
   }
   if (gameVersion.isLatest()) {
     b.append(BundleUtils.getLabel("settings_game_buildVersion_latest"));
   } else {
     b.append(gameVersion.getBuildNumber());
   }
   if (notSuccessful) {
     b.append("]");
   }
   if (!gameVersion.isLatest()) {
     if ((gameVersion.getGameVersionInfo() != null)
         && (gameVersion.getGameVersionInfo().getDisplayVersion() != null)
         && (gameVersion.getGameVersionInfo().getDisplayVersion().trim().length() > 0)) {
       b.append(" - ");
       b.append(gameVersion.getGameVersionInfo().getDisplayVersion());
     }
     if (gameVersion.isInstalled()) {
       b.append(" - ");
       b.append(BundleUtils.getLabel("settings_game_buildVersion_installed"));
     }
   }
   return b.toString();
 }
 public Integer getVersion() {
   return gameVersion.getBuildVersion();
 }