Eclipseのプロクシなどの設定を取得する

Eclipseの設定画面>>インストール/更新にあるプロクシの設定ですが
org.eclipse.update.core.SiteManager#getHttpProxyPort
org.eclipse.update.core.SiteManager#getHttpProxyServer
などに値が格納されているっぽい。ちなみにこの画面(org.eclipse.ui.preferencePages拡張ポイント)のIDは
org.eclipse.update.uiプラグインに定義されていて、
<extension point="org.eclipse.ui.preferencePages">
<page name="%mainPreference.name"
class="org.eclipse.update.internal.ui.preferences.MainPreferencePage"
id="org.eclipse.update.internal.ui.preferences.MainPreferencePage">
<keywordReference id="org.eclipse.update.ui.general"/>
</page>
</extension>
です。