Package jadex.bdiv3.examples.booktrading.seller