mavs-divas: A Java repository from The University of Texas at Dallas