2017-03-01 discovered "remote C" return type caused problems:
	   generating "remote C xx" rather than "JRC xx"
	   fixed in Pretty.java
	   
