The Minecraft launcher supports SOCKS proxies, but it has no support for HTTP proxies. A simple --proxyType http argument for the launcher would fix this, Java has already inbuilt support for HTTP proxies by using Proxy.Type.HTTP instead of Proxy.Type.SOCKS.
This isn't really duplicated by the other issue, because there it is a SOCKS proxy, but I want to use a HTTP proxy.