Duration-displayer lags sometimes

[Palkess]

It sometimes skips a second.
Found suggestion somewhere, saving for my own reference

Not python:
private long lastPlayTime = 0;
private long lastPlayTimeGlobal = 0;

/**

• Get current play time (interpolated)

• @see How to get accurate response from mediaPlayer.getTime() caprica/vlcj#74

• @return
  */
  public float getCurrentTime(){
  long currentTime = directMediaPlayer.getTime();

  if (lastPlayTime == currentTime && lastPlayTime != 0){
  currentTime += System.currentTimeMillis() - lastPlayTimeGlobal;
  } else {
  lastPlayTime = currentTime;
  lastPlayTimeGlobal = System.currentTimeMillis();
  }

  return currentTime * 0.001f; //to float
  }