9596979899100101102103104105
public static void seek(final int value) { final MediaPlayer player = UISession.getMediaPlayer(); if (player != null) { final double d = value / 100D; player.seek(Duration.millis(player.getMedia().getDuration() .toMillis() * d)); } }