const struct value *,
const struct value_print_options *);
-extern int java_value_print (struct value *, struct ui_file *,
- const struct value_print_options *);
+extern void java_value_print (struct value *, struct ui_file *,
+ const struct value_print_options *);
extern struct value *java_class_from_object (struct value *);