Merged #228 "Add support for configurable HTTP proxy host/port in PluginManager.java"