NavList thread: A positive leap second will be introduced at the end of June 2012