extern const struct builtin_java_type *builtin_java_type (struct gdbarch *);
-extern int java_val_print (struct type *, const gdb_byte *, int, CORE_ADDR,
- struct ui_file *, int,
- const struct value *,
- const struct value_print_options *);
+extern void java_val_print (struct type *, const gdb_byte *, int, CORE_ADDR,
+ struct ui_file *, int,
+ const struct value *,
+ const struct value_print_options *);
extern void java_value_print (struct value *, struct ui_file *,
const struct value_print_options *);