Package org.basex.io.random