Package jadex.micro.examples.heatbugs