A java-written library for auditing Random Sample Elections