Index: trunk/src/org/openstreetmap/josm/tools/AudioPlayer.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/AudioPlayer.java	(revision 548)
+++ trunk/src/org/openstreetmap/josm/tools/AudioPlayer.java	(revision 549)
@@ -29,5 +29,5 @@
 	private enum State { INITIALIZING, NOTPLAYING, PLAYING, PAUSED, INTERRUPTED } 
 	private State state;
-    private enum Command { PLAY, PAUSE, JUMP }
+    private enum Command { PLAY, PAUSE }
     private enum Result { WAITING, OK, FAILED }
     private URL playingUrl;
@@ -60,9 +60,4 @@
 			send();
 		}
-		protected void jump(double offset) throws Exception {
-			this.offset = offset;
-			command = Command.JUMP;
-			send();
-		}
 		private void send() throws Exception {
 			result = Result.WAITING;
@@ -115,15 +110,4 @@
 	public static void play(URL url, double seconds) throws Exception {
 		AudioPlayer.get().command.play(url, seconds);
-	}
-	
-	/**
-	 * Fast Forward or Rewind the audio stream by the given number of seconds. 
-	 * Terminates playing if would jump after the end
-	 * Starts from the beginning if would jump before start 
-	 * @param seconds fast forwards (positive) or rewinds (negative) by this number of seconds
-	 * @throws audio fault exception, e.g. can't open stream,  unhandleable audio format
-	 */
-	public static void jump(double seconds) throws Exception {
-		AudioPlayer.get().command.jump(seconds);
 	}
 	
@@ -292,7 +276,4 @@
 						stateChange = state.PAUSED;
 						break;
-					case JUMP:
-						stateChange = state.PAUSED; // for now
-						break;
 					}
 					command.ok(stateChange);