Package jadex.extension.agr