01-Jul megacz POSIX.java, POSIX.cc: initial window size, DISPLAY
string logging, http_proxy environment variable checking, font fixes
01-Jul megacz POSIX.java, POSIX.cc: initial window size, DISPLAY
string logging, http_proxy environment variable checking, font fixes