Index: /trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java	(revision 1148)
+++ /trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java	(revision 1149)
@@ -54,4 +54,6 @@
 			case ')':
 				return ")";
+			case '|':
+				return "|";
 			case '"':
 				s = new StringBuilder(" ");
@@ -70,5 +72,5 @@
 				}
 				c = (char)next;
-				if (c == ' ' || c == '\t' || c == '"' || c == ':' || c == '(' || c == ')') {
+				if (c == ' ' || c == '\t' || c == '"' || c == ':' || c == '(' || c == ')' || c == '|') {
 					search.unread(next);
 					if (s.toString().equals("OR"))