translated more Java KIL classes to generic KIL by using BackendTerm

simple fix to https://github.com/kframework/k/issues/722

@dwightguth please review