Package jadex.micro.examples.lottery