From a2ce11fe6dd058946450af92537a2d9db27c52b7 Mon Sep 17 00:00:00 2001
From: Jesse McConnell <jesse.mcconnell@gmail.com>
Date: Fri, 2 Dec 2011 16:48:51 -0600
Subject: [PATCH] set proxy

---
 settings.xml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/settings.xml b/settings.xml
index 0a61af1f323..9b5ddeffc7e 100755
--- a/settings.xml
+++ b/settings.xml
@@ -2,6 +2,14 @@
   <localRepository>/tmp/jetty-builds/jetty8/localRepo</localRepository>
   <interactiveMode>true</interactiveMode>
   <offline>false</offline>
+<proxies>
+   <proxy>
+      <active>true</active>
+      <protocol>http</protocol>
+      <host>proxy.eclipse.org</host>
+      <port>9898</port>
+    </proxy>
+  </proxies>
 <mirrors>
   <mirror>
       <id>central</id>