Index: /applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/video/SimpleVideoPlayer.java
===================================================================
--- /applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/video/SimpleVideoPlayer.java	(revision 23953)
+++ /applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/video/SimpleVideoPlayer.java	(revision 23954)
@@ -2,4 +2,5 @@
 import java.awt.Adjustable;
 import org.apache.log4j.Logger;
+import org.apache.log4j.helpers.DateTimeDateFormat;
 
 import java.awt.BorderLayout;
@@ -13,4 +14,6 @@
 import java.beans.PropertyChangeListener;
 import java.io.File;
+import java.sql.Time;
+import java.text.DateFormat;
 import java.text.SimpleDateFormat;
 import java.util.Date;
@@ -18,4 +21,5 @@
 import java.util.Hashtable ;
 import java.util.Set;
+import java.util.TimeZone;
 import java.util.Timer;
 import java.util.TimerTask;
@@ -340,5 +344,12 @@
         if(mp.isPlaying())
         {
-            setTitle(ms.format(new Date(mp.getTime())));
+        	long millis=mp.getTime();
+        	String s = String.format("%02d:%02d:%02d", //dont know why normal Java date utils doesn't format the time right
+		      TimeUnit.MILLISECONDS.toHours(millis),
+		      TimeUnit.MILLISECONDS.toMinutes(millis) - TimeUnit.HOURS.toMinutes(TimeUnit.MILLISECONDS.toHours(millis)), 
+		      TimeUnit.MILLISECONDS.toSeconds(millis) - TimeUnit.MINUTES.toSeconds(TimeUnit.MILLISECONDS.toMinutes(millis))
+		    );
+            //setTitle(ms.format(new Time(sec)));
+        	setTitle(s);
             syncTimeline=true;
             timeline.setValue(Math.round(mp.getPosition()*100));