A small SRT parser and editor in Java