Import jQuery using HTTPS if the current page was loaded with https.
diff --git a/classes/util/jquery.php b/classes/util/jquery.php
index 6e3a790..4cff3b7 100644
--- a/classes/util/jquery.php
+++ b/classes/util/jquery.php
@@ -1,6 +1,6 @@
 <?php
 /*******************************************************************************
- * Copyright (c) 2011 Eclipse Foundation and others.
+ * Copyright (c) 2013 Eclipse Foundation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
@@ -18,5 +18,6 @@
  * add it multiple times.
  */
 global $App;
-$App->AddExtraHtmlHeader("<script src=\"http://ajax.googleapis.com/ajax/libs/jquery/1.5.1/jquery.min.js\" type=\"text/javascript\"></script>");
+$protocol = $_SERVER['HTTPS'] ? 'https' : 'http';
+$App->AddExtraHtmlHeader("<script src=\"$protocol://ajax.googleapis.com/ajax/libs/jquery/1.5.1/jquery.min.js\" type=\"text/javascript\"></script>");
 ?>
\ No newline at end of file