Package jadex.micro.examples.hunterprey.service