06-Jul megacz Win32.java: HTTP.ProxyInfo => Proxy
+06-Jul megacz JSObject.java: constructor now takes sealed argument
+
+06-Jul megacz POSIX.java: font mapper now prefers ISO_8559-1 fonts
+
+06-Jul megacz Box.java: use new HTTP interface, getIds() only returns children
+