Java random generator added