editor.wrap.words=false http.timeout=30 http.proxyHost= http.proxyPort= http.proxyUserName= http.proxyPassword=