adding options to set seed for Java random number generator and Postgres random number generator