Tweaks.
Update javarepl to new upstream version incorporating dumb terminal support.