PrivateMap doesnt hide on sideChange()

class PrivateMap

public void sideChanged(String oldSide, String newSide) {
super.sideChanged(oldSide, newSide);
((View)getView()).disableListeners();
if (isAccessibleTo(newSide)) {
((View)getView()).enableListeners();
}
launchButton.setEnabled(isVisibleTo(PlayerRoster.getMySide()));
}

expect: hide map on side change
actual: still visible on side change; only launchButton is disabled

Eclipse Workspace Patch 1.0

#P vassal
Index: src/VASSAL/build/module/PrivateMap.java

— src/VASSAL/build/module/PrivateMap.java (revision 9251)
+++ src/VASSAL/build/module/PrivateMap.java (working copy)
@@ -201,10 +201,18 @@

public void sideChanged(String oldSide, String newSide) {
super.sideChanged(oldSide, newSide);

  • View view = (View) getView();
  • ((View)getView()).disableListeners();
    if (isAccessibleTo(newSide)) {
    ((View)getView()).enableListeners();
  •  // show private map if player switches to this side
    
  •  theMap.getTopLevelAncestor().setVisible(true);
    
  • } else {
  •   // hide private map if player switches away from it
    
  •   theMap.getTopLevelAncestor().setVisible(false);
    
    }
  • repaint();
    launchButton.setEnabled(isVisibleTo(PlayerRoster.getMySide()));
    }

Would you mind giving me a minimal module on which I can test the patch?