// TODO stop casting documents to ints
public int getCurrentIdentifier() {
      // TODO stop casting documents to ints
      return (int) (offset + current);
    }
public int getCurrentIdentifier() {
// TODO stop casting documents to ints
return (int) (offset + current);
}
public int getCurrentIdentifier() {
// TODO stop casting documents to ints
return (int) (offset + current);
}
public int getCurrentIdentifier() {
// TODO stop casting documents to ints
return (int) (offset + current);
}