Index: trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java
===================================================================
--- trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java	(revision 12407)
+++ trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java	(revision 12409)
@@ -120,9 +120,9 @@
         EOF(marktr("<end-of-file>")),
         /**
-         * Less than sign (<)
+         * Less than sign (&lt;)
          */
         LESS_THAN("<less-than>"),
         /**
-         * Greater than sign (>)
+         * Greater than sign (&gt;)
          */
         GREATER_THAN("<greater-than>");
Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 12407)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 12409)
@@ -1211,5 +1211,5 @@
 
     /**
-     * Gets a collection of key->value maps.
+     * Gets a collection of key/value maps.
      * @param key The key to search at
      * @param def The default value to use
@@ -1223,5 +1223,5 @@
      * Stores a list of structs
      * @param key The key to store the list in
-     * @param value A list of key->value maps
+     * @param value A list of key/value maps
      * @return <code>true</code> if the value was changed
      * @see #getListOfStructs(String, Collection)
@@ -1514,5 +1514,5 @@
     /**
      * Gets a map of all currently known defaults
-     * @return The map (key->setting)
+     * @return The map (key/setting)
      */
     public Map<String, Setting<?>> getAllDefaults() {