Add support for configurable HTTP proxy host/port in PluginManager.java

Dariusz Bywalec

2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616

 src/main/java/pt.cmd

@@ -1 +1 @@
@python %~dp0pt.py %1 %2 %3 %4 %5 %6 %7 %8 %9
@python %~dp0pt.py %*