fix hybrid in java backend
Merge branch 'hybrid' into remove-preincluded
remove errant rule from k prelude