JVLC issue, playlist and mediainstance

[viewport]

MediaPlayer mediaPlayer = playlist.getMediaInstance();
long oldTime = mediaPlayer.getTime(); // Assume it's 10 secs here.
System.out.println("oldTime: " + mediaPlayer.getTime());
mediaPlayer.setTime(oldTime - (5 * 1000)); // rewind by 5 secs.
// Let it run for a couple of seconds.
System.out.println("newTime: " + mediaPlayer.getTime());
// newTime is NOT 7 secs, but 10 secs instead.

newTime will be 10 secs until the media is played past the 10 secs point. Only then will getTime() return the correct time.

What's wrong? Can I help to debug this asap?

[viewport]

Is there no one from the developer side of things here? I tried the "Development around libVLC" forum, and there's no response there either.

I figured out part of the cause. This issue happens with .mpg, but not with .wmv. Oh... please don't tell me I have to give up VLC for Microsoft's DirectShow? The amount of time I'm spending trying to debug VLC blind could be better spent on DirectShow.