A lottery manager in Java EE