Be explicit about C return type returning pointers to Java