Index: trunk/src/org/openstreetmap/josm/gui/MainMenu.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/MainMenu.java	(revision 18521)
+++ trunk/src/org/openstreetmap/josm/gui/MainMenu.java	(revision 18529)
@@ -179,7 +179,7 @@
     public final SaveAsAction saveAs = SaveAsAction.getInstance();
     /** File / Session > Save Session **/
-    public SessionSaveAction sessionSave = SessionSaveAction.getInstance();
+    public final SessionSaveAction sessionSave = SessionSaveAction.getInstance();
     /** File / Session > Save Session As... **/
-    public SessionSaveAsAction sessionSaveAs = new SessionSaveAsAction();
+    public final SessionSaveAsAction sessionSaveAs = new SessionSaveAsAction();
     /** File / Export to GPX... **/
     public final GpxExportAction gpxExport = new GpxExportAction();