A Java tool to change the timing on SRT files