Better java BinaryReader skip performance