Tweaks.
Update javarepl to new upstream version incorporating dumb terminal support.
I like Standard ML.