Index: trunk/src/org/openstreetmap/josm/gui/layer/gpx/GpxDrawHelper.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/layer/gpx/GpxDrawHelper.java	(revision 11934)
+++ trunk/src/org/openstreetmap/josm/gui/layer/gpx/GpxDrawHelper.java	(revision 11935)
@@ -1245,5 +1245,5 @@
 
         // typical rendering rate -> use realtime preview instead of accurate display
-        final double maxSegm = 25000, nrSegms = listSegm.size();
+        final double maxSegm = 25_000, nrSegms = listSegm.size();
 
         // determine random drop rate