java-io and java-lang build as CheriJNI images