Java app to synchronise (shift / stretch / edit) .srt subtitle files