Fix for conversion methods in the Java backend
Fix wrong result type for idris_peek in Java