import java.io.BufferedInputStream;
import java.io.File;
import java.io.FileInputStream;
import java.io.InputStream;
import java.io.IOException;
<BUG>import java.nio.ByteBuffer;
import java.util.NavigableSet;</BUG>
import java.util.TreeSet;
public final class SplittingBAMIndex {
private final NavigableSet<Long> virtualOffsets = new TreeSet<Long>();

import java.io.BufferedInputStream;
import java.io.File;
import java.io.FileInputStream;
import java.io.InputStream;
import java.io.IOException;
import java.nio.ByteBuffer;
import java.util.ArrayList;
import java.util.List;
import java.util.NavigableSet;
import java.util.TreeSet;
public final class SplittingBAMIndex {
private final NavigableSet<Long> virtualOffsets = new TreeSet<Long>();
