docs: public synchronized void setFetchDirection(
              int direction) throws SQLException {
  
          checkClosed();
          checkClosed();
  
          switch (direction) {
  
              case JDBCResultSet.FETCH_FORWARD :
              case JDBCResultSet.FETCH_REVERSE :
              case JDBCResultSet.FETCH_UNKNOWN :
                  fetchDirection = direction;
  
                  break;
              default :
                  throw Util.invalidArgument();
          }
      }