Some small optimizations to BattleModel, (#11806)

Only refresh if something changed.
Also, get lhtr property outside of a lock, since it won't be changing.

(The locking here showed a lot of contention.)

game-app/game-core/src/main/java/games/strategy/triplea/ui/BattleModel.java

@@ -70,18 +70,21 @@ void setEnemyBattleModel(final BattleModel enemyBattleModel) {
   }
 
   void notifyRetreat(final Collection<Unit> retreating) {
-    units.removeAll(retreating);
-    refresh();
+    if (units.removeAll(retreating)) {
+      refresh();
+    }
   }
 
   void removeCasualties(final Collection<Unit> killed) {
-    units.removeAll(killed);
-    refresh();
+    if (units.removeAll(killed)) {
+      refresh();
+    }
   }
 
   void addUnits(final Collection<Unit> units) {
-    this.units.addAll(units);
-    refresh();
+    if (this.units.addAll(units)) {
+      refresh();
+    }
   }
 
   Collection<Unit> getUnits() {
@@ -100,13 +103,14 @@ void refresh() {
     final List<Unit> units = new ArrayList<>(this.units);
     final TotalPowerAndTotalRolls unitPowerAndRollsMap;
     final boolean isAirPreBattleOrPreRaid = battleType.isAirBattle();
+    final boolean lhtrHeavyBombers = Properties.getLhtrHeavyBombers(gameData.getProperties());
     try (GameData.Unlocker ignored = gameData.acquireReadLock()) {
       final CombatValue combatValue;
       if (isAirPreBattleOrPreRaid) {
         combatValue =
             CombatValueBuilder.airBattleCombatValue()
                 .side(BattleState.Side.DEFENSE)
-                .lhtrHeavyBombers(Properties.getLhtrHeavyBombers(gameData.getProperties()))
+                .lhtrHeavyBombers(lhtrHeavyBombers)
                 .gameDiceSides(gameData.getDiceSides())
                 .build();
       } else {
@@ -117,7 +121,7 @@ void refresh() {
                 .side(side)
                 .gameSequence(gameData.getSequence())
                 .supportAttachments(gameData.getUnitTypeList().getSupportRules())
-                .lhtrHeavyBombers(Properties.getLhtrHeavyBombers(gameData.getProperties()))
+                .lhtrHeavyBombers(lhtrHeavyBombers)
                 .gameDiceSides(gameData.getDiceSides())
                 .territoryEffects(territoryEffects)
                 .build();