Java library for generating random numbers with custom distributions