1 files changed, 1 insertions, 1 deletions
diff --git a/java/genpom b/java/genpom
index e3b89d0568..92822a08ae 100755
--- a/java/genpom
+++ b/java/genpom
@@ -47,7 +47,7 @@ if opts.search_path is None:
 else:
   path = []
   for p in opts.search_path:
-    path.extend(p.split(":"))
+    path.extend(p.split(os.pathsep))
 
 expanded_path = []
 for p in path: