Index: trunk/src/org/openstreetmap/josm/gui/preferences/ProxyPreferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/ProxyPreferences.java	(revision 2646)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/ProxyPreferences.java	(revision 2647)
@@ -99,5 +99,5 @@
         gc.gridy = 1;
         gc.gridx = 0;
-        pnl.add(new JLabel(tr("Port:")), gc);
+        pnl.add(new JLabel(trc("server", "Port:")), gc);
 
         gc.gridx = 1;
@@ -150,5 +150,5 @@
         gc.gridy = 1;
         gc.gridx = 0;
-        pnl.add(new JLabel(tr("Port:")), gc);
+        pnl.add(new JLabel(trc("server", "Port:")), gc);
 
         gc.gridx = 1;