Hi,
we do not use a different proxy port.
I traced the System.setProperty class. When executing new Context() I got the following: setProperty('http.proxyHost','') setProperty('http.proxyPort','80') setProperty('https.proxyHost','') setProperty('https.proxyPort','80') setProperty('user.timezone','Europe/Oslo') +++
I also traced the Context class and verified that it was part of BaseX80-20140814.235204.jar
Best Rune