El núcleo Java de karel estará en otro paquete