Eclipse project defines JNI_CHERI
Merge branch 'cherijni' of github.com:davidbrazdil/cherivm into cherijni