Verified conversion callback for java