notes on converting to/from Java to JavaScript for char-string-ascii issues