/*
 * Include file:
 *	lang_java.h
 */
extern stream_status	get_java_char(char *, char_status *);
extern char		lang_java_defaults[];