Index: trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java
===================================================================
--- trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java	(revision 3048)
+++ trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java	(revision 3049)
@@ -81,9 +81,9 @@
     }
 
-    private static final List<Integer> specialChars = Arrays.asList(new Integer[] {'"', ':', '(', ')', '|', '=', '?'});
-    private static final List<Integer> specialCharsQuoted = Arrays.asList(new Integer[] {'"'});
+    private static final List<Character> specialChars = Arrays.asList(new Character[] {'"', ':', '(', ')', '|', '=', '?'});
+    private static final List<Character> specialCharsQuoted = Arrays.asList(new Character[] {'"'});
 
     private String getString(boolean quoted) {
-        List<Integer> sChars = quoted ? specialCharsQuoted : specialChars;
+        List<Character> sChars = quoted ? specialCharsQuoted : specialChars;
         StringBuilder s = new StringBuilder();
         boolean escape = false;