Package jadex.bdiv3.tutorial.a1