diff --git a/com.ibm.wala.cast.java.jdt.test/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.java.jdt.test/.settings/org.eclipse.jdt.ui.prefs
index 371fb1611..cb05bac17 100644
--- a/com.ibm.wala.cast.java.jdt.test/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.java.jdt.test/.settings/org.eclipse.jdt.ui.prefs
@@ -1,4 +1,4 @@
-#Mon Apr 13 10:03:21 EDT 2009
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
+#Mon Apr 13 10:03:21 EDT 2009
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
diff --git a/com.ibm.wala.cast.java.polyglot.test/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.java.polyglot.test/.settings/org.eclipse.jdt.ui.prefs
index 125bb1ef6..9a77f39fd 100644
--- a/com.ibm.wala.cast.java.polyglot.test/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.java.polyglot.test/.settings/org.eclipse.jdt.ui.prefs
@@ -1,4 +1,4 @@
-#Mon Apr 13 15:21:17 EDT 2009
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
+#Mon Apr 13 15:21:17 EDT 2009
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
diff --git a/com.ibm.wala.cast.java.polyglot/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.java.polyglot/.settings/org.eclipse.jdt.ui.prefs
index 2fda29542..de724e360 100644
--- a/com.ibm.wala.cast.java.polyglot/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.java.polyglot/.settings/org.eclipse.jdt.ui.prefs
@@ -1,4 +1,4 @@
-#Mon Apr 13 15:38:50 EDT 2009
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
+#Mon Apr 13 15:38:50 EDT 2009
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
diff --git a/com.ibm.wala.cast.java.test/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.java.test/.settings/org.eclipse.jdt.ui.prefs
index b1f02903e..8a7a5d26b 100644
--- a/com.ibm.wala.cast.java.test/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.java.test/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:43 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:43 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.cast.java/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.java/.settings/org.eclipse.jdt.ui.prefs
index b1f02903e..8a7a5d26b 100644
--- a/com.ibm.wala.cast.java/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.java/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:43 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:43 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl.html
index ddcfd3b90..a423f6f8a 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl.html
@@ -1,196 +1,196 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html>
-	<head>
-		<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
-		<title>Untitled Document</title>
-	</head>
-<script>
-var g_image_number = 0;
-</script>
-<script>
-function test_function_base_crawling()
-{
-	var href;
-	href = "results.html?";
-	href += "function_base_crawling_";
-	href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
-	document.location.href = href;
-}
-</script>
-<script>
-
-function test_event_element()
-{
-	var href;
-	href = "results.html?";
-	href += "event_element_";
-	if (window.event == undefined) {
-		href += (12*document.location.href.length) ? "unsupported" : "strange_behaviour";
-	} else if (!isNaN(window.event.srcElement)) {
-		href += (12*document.location.href.length) ? "srcElement_unsupported" : "strange_behaviour";
-	} else if (!isNaN(window.event.srcElement)) {
-		href += (12*document.location.href.length) ? "srcElement_attr_unsupported" : "strange_behaviour";
-	} else {
-		href += (12*document.location.href.length) ? "worked" : "strange_behaviour";
-	}
-	document.location.href = href;
-}
-</script>
-<script>
-
-function test_isNaN()
-{
-	var href;
-	href = "results.html?";
-	href += "isNaN_";
-	if (!isNaN(window.asghdaa)) {
-		href += (12*document.location.href.length) ? "unsupported" : "strange_behaviour";
-	} else {
-		href += (12*document.location.href.length) ? "worked" : "strange_behaviour";
-	}
-	document.location.href = href;
-		
-}
-</script>
-<script>
-
-function test_first_phase()
-{
-	var href;
-	href = "results.html?";
-	href += "first_phase_";
-	href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
-	document.location.href = href;
-}
-</script>
-<script>
-
-function test_second_phase()
-{
-	var button = document.createElement("button");
-	button.innerText = "go to second phase html";
-	document.body.appendChild(button);
-	button.onclick = function () {
-		var href;
-		href = "results.html?";
-		href += "second_phase_";
-		href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
-		document.location.href = href;
-	};
-
-	var thirdButton = document.createElement("button");
-	thirdButton.innerText = 'Test "Third Phase Competability"';
-	thirdButton.onclick = test_third_phase;
-	document.body.appendChild(thirdButton);
-}
-
-</script>
-<script>
-function test_third_phase()
-{
-	var button = document.createElement("button");
-	button.innerText = "go to third phase html";
-	document.body.appendChild(button);
-	button.onclick = function () {
-		var href;
-		href = "results.html?";
-		href += "third_phase_";
-		href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
-		document.location.href = href;
-	}	
-}
-
-</script>
-<script>
-function test_n_phase()
-{
-	var button = document.createElement("button");
-	button.tag = isNaN(event.srcElement.tag) ? 1 : Number(event.srcElement.tag) + 1;
-	button.innerText = "go to "+button.tag+" phase html";
-	button.onclick = function () {
-		var href;
-		href = "results.html?";
-		href += "n_phase_"+button.tag+"_";
-		href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
-		document.location.href = href;
-	};
-
-	var linkButton = document.createElement("button");
-	linkButton.tag = button.tag;
-	linkButton.innerText = "create "+linkButton.tag+" phase button";
-	linkButton.onclick = test_n_phase;
-	document.body.appendChild(linkButton);
-	document.body.appendChild(button);
-}
-
-</script>
-<script>
-var differentOrder = "/differnet_order_";
-
-</script>
-<script>
-function test_both_order2()
-{
-	differentOrder += "2";
-	test_both_order_button.innerText = 'Test "Different Order Competability 2"';
-}
-
-</script>
-<script>
-function test_both_order()
-{
-		var href;
-		href = "results.html?";
-		href += "both_order_";
-		href += (test_both_order_button.innerText.substr(test_both_order_button.innerText.length-2,1));
-		href += ".html";
-		document.location.href = href;
-}
-
-</script>
-<script>
-function send_unique_dom_request()
-{
-		var href;
-		href = "results.html?";
-		href += "dom_unique";
-		href += ".html";
-		document.location.href = href;
-	
-}
-
-</script>
-<script>
-function send_same_dom_request()
-{
-		var href;
-		href = "results.html?";
-		href += "dom_same";
-		href += ".html";
-		document.location.href = href;
-}
-
-</script>
-<script>
-function test_unique_dom_button2()
-{
-	test_unique_dom_button.onclick = send_same_dom_request;
-}
-</script>
-<body>
-
-<BR><BR><BR><HR><BR><BR><BR>
-
-	<BR><button onclick = "test_event_element()">Test "Event Element"</button>
-	<BR><button onclick = "test_isNaN()">Test "isNaN Competability"</button>
-	<BR><button onclick = "test_first_phase()">Test "First Phase Competability"</button>
-	<BR><button onclick = "test_second_phase()">Test "Second Phase Competability"</button>
-	<BR><button onclick = "test_n_phase()">Test "N Phase Competability"</button>
-	<BR><button id=test_both_order_button onclick = "test_both_order()">Test "Different Order Competability 1"</button>
-	<button onclick = "test_both_order2()">Change Different Order Location</button>
-	<BR><button onclick = "test_unique_dom_button2()">Change Next element onclick Method</button>
-	<button id=test_unique_dom_button onclick = "send_unique_dom_request()">Test "Unique Dom Competability"</button> 
-	<BR>
-
-</body>
-</html>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+	<head>
+		<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+		<title>Untitled Document</title>
+	</head>
+<script>
+var g_image_number = 0;
+</script>
+<script>
+function test_function_base_crawling()
+{
+	var href;
+	href = "results.html?";
+	href += "function_base_crawling_";
+	href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
+	document.location.href = href;
+}
+</script>
+<script>
+
+function test_event_element()
+{
+	var href;
+	href = "results.html?";
+	href += "event_element_";
+	if (window.event == undefined) {
+		href += (12*document.location.href.length) ? "unsupported" : "strange_behaviour";
+	} else if (!isNaN(window.event.srcElement)) {
+		href += (12*document.location.href.length) ? "srcElement_unsupported" : "strange_behaviour";
+	} else if (!isNaN(window.event.srcElement)) {
+		href += (12*document.location.href.length) ? "srcElement_attr_unsupported" : "strange_behaviour";
+	} else {
+		href += (12*document.location.href.length) ? "worked" : "strange_behaviour";
+	}
+	document.location.href = href;
+}
+</script>
+<script>
+
+function test_isNaN()
+{
+	var href;
+	href = "results.html?";
+	href += "isNaN_";
+	if (!isNaN(window.asghdaa)) {
+		href += (12*document.location.href.length) ? "unsupported" : "strange_behaviour";
+	} else {
+		href += (12*document.location.href.length) ? "worked" : "strange_behaviour";
+	}
+	document.location.href = href;
+		
+}
+</script>
+<script>
+
+function test_first_phase()
+{
+	var href;
+	href = "results.html?";
+	href += "first_phase_";
+	href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
+	document.location.href = href;
+}
+</script>
+<script>
+
+function test_second_phase()
+{
+	var button = document.createElement("button");
+	button.innerText = "go to second phase html";
+	document.body.appendChild(button);
+	button.onclick = function () {
+		var href;
+		href = "results.html?";
+		href += "second_phase_";
+		href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
+		document.location.href = href;
+	};
+
+	var thirdButton = document.createElement("button");
+	thirdButton.innerText = 'Test "Third Phase Competability"';
+	thirdButton.onclick = test_third_phase;
+	document.body.appendChild(thirdButton);
+}
+
+</script>
+<script>
+function test_third_phase()
+{
+	var button = document.createElement("button");
+	button.innerText = "go to third phase html";
+	document.body.appendChild(button);
+	button.onclick = function () {
+		var href;
+		href = "results.html?";
+		href += "third_phase_";
+		href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
+		document.location.href = href;
+	}	
+}
+
+</script>
+<script>
+function test_n_phase()
+{
+	var button = document.createElement("button");
+	button.tag = isNaN(event.srcElement.tag) ? 1 : Number(event.srcElement.tag) + 1;
+	button.innerText = "go to "+button.tag+" phase html";
+	button.onclick = function () {
+		var href;
+		href = "results.html?";
+		href += "n_phase_"+button.tag+"_";
+		href += (12*document.location.href.length) ? "worked" : "/strange_behaviour";
+		document.location.href = href;
+	};
+
+	var linkButton = document.createElement("button");
+	linkButton.tag = button.tag;
+	linkButton.innerText = "create "+linkButton.tag+" phase button";
+	linkButton.onclick = test_n_phase;
+	document.body.appendChild(linkButton);
+	document.body.appendChild(button);
+}
+
+</script>
+<script>
+var differentOrder = "/differnet_order_";
+
+</script>
+<script>
+function test_both_order2()
+{
+	differentOrder += "2";
+	test_both_order_button.innerText = 'Test "Different Order Competability 2"';
+}
+
+</script>
+<script>
+function test_both_order()
+{
+		var href;
+		href = "results.html?";
+		href += "both_order_";
+		href += (test_both_order_button.innerText.substr(test_both_order_button.innerText.length-2,1));
+		href += ".html";
+		document.location.href = href;
+}
+
+</script>
+<script>
+function send_unique_dom_request()
+{
+		var href;
+		href = "results.html?";
+		href += "dom_unique";
+		href += ".html";
+		document.location.href = href;
+	
+}
+
+</script>
+<script>
+function send_same_dom_request()
+{
+		var href;
+		href = "results.html?";
+		href += "dom_same";
+		href += ".html";
+		document.location.href = href;
+}
+
+</script>
+<script>
+function test_unique_dom_button2()
+{
+	test_unique_dom_button.onclick = send_same_dom_request;
+}
+</script>
+<body>
+
+<BR><BR><BR><HR><BR><BR><BR>
+
+	<BR><button onclick = "test_event_element()">Test "Event Element"</button>
+	<BR><button onclick = "test_isNaN()">Test "isNaN Competability"</button>
+	<BR><button onclick = "test_first_phase()">Test "First Phase Competability"</button>
+	<BR><button onclick = "test_second_phase()">Test "Second Phase Competability"</button>
+	<BR><button onclick = "test_n_phase()">Test "N Phase Competability"</button>
+	<BR><button id=test_both_order_button onclick = "test_both_order()">Test "Different Order Competability 1"</button>
+	<button onclick = "test_both_order2()">Change Different Order Location</button>
+	<BR><button onclick = "test_unique_dom_button2()">Change Next element onclick Method</button>
+	<button id=test_unique_dom_button onclick = "send_unique_dom_request()">Test "Unique Dom Competability"</button> 
+	<BR>
+
+</body>
+</html>
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page11.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page11.html
index f60dd5132..8707248ab 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page11.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page11.html
@@ -1,25 +1,25 @@
-<html>
-	<body>
-					<script>
-						var myForm = document.createElement("form");
-						myForm.setAttribute("action","page11.php");
-						myForm.setAttribute("method","GET");
-						var myHiddenA = document.createElement("input");
-						myHiddenA.setAttribute("type","hidden");
-						myHiddenA.setAttribute("name","a");
-						myHiddenA.setAttribute("value","ok");
-						var myHiddenB = document.createElement("input");
-						myHiddenB.setAttribute("type","hidden");
-						myHiddenB.setAttribute("name","b");
-						myHiddenB.setAttribute("value","ok");
-						var mySubmit = document.createElement("input");
-						mySubmit.setAttribute("type","submit");
-						mySubmit.setAttribute("name","submit");
-						mySubmit.setAttribute("value","submit");
-						myForm.appendChild(myHiddenA);
-						myForm.appendChild(myHiddenB);
-						myForm.appendChild(mySubmit);
-						document.body.appendChild(myForm);						
-					</script>
-	</body>
+<html>
+	<body>
+					<script>
+						var myForm = document.createElement("form");
+						myForm.setAttribute("action","page11.php");
+						myForm.setAttribute("method","GET");
+						var myHiddenA = document.createElement("input");
+						myHiddenA.setAttribute("type","hidden");
+						myHiddenA.setAttribute("name","a");
+						myHiddenA.setAttribute("value","ok");
+						var myHiddenB = document.createElement("input");
+						myHiddenB.setAttribute("type","hidden");
+						myHiddenB.setAttribute("name","b");
+						myHiddenB.setAttribute("value","ok");
+						var mySubmit = document.createElement("input");
+						mySubmit.setAttribute("type","submit");
+						mySubmit.setAttribute("name","submit");
+						mySubmit.setAttribute("value","submit");
+						myForm.appendChild(myHiddenA);
+						myForm.appendChild(myHiddenB);
+						myForm.appendChild(mySubmit);
+						document.body.appendChild(myForm);						
+					</script>
+	</body>
 </html>
\ No newline at end of file
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page12.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page12.html
index b1f0fd247..79ac15ff1 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page12.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page12.html
@@ -1,31 +1,31 @@
-<html>
-	<head>
-		<script>	
-			function handler()
-			{
-				if(this.readyState == 4)
-				{
-					var contents = this.responseText;
-					document.getElementById("myDiv").innerHTML = contents;
-				}
-				return;
-			}
-			
-			function callXHR()
-			{
-				var textBoxValue = document.getElementById("freeTextField").value;
-				var client = new XMLHttpRequest();
-				client.onreadystatechange = handler;
-				client.open("GET", "page12.php?freeTextField="+textBoxValue, true);
-				client.send(null);
-				return;
-			}
-
-		</script>	
-	</head>
-	<body>
-		<div id="myDiv" style="location: absolute; top: 100px; left: 100px; height: 400px; width: 400px; background-color: #ff0000;"></div>
-		<input type="text" id="freeTextField" name="freeTextField" value="DEFAULT_SHOULD_BE_CHANGED"></input>
-		<button onclick="return callXHR();">SUBMIT</button>
-	</body>
+<html>
+	<head>
+		<script>	
+			function handler()
+			{
+				if(this.readyState == 4)
+				{
+					var contents = this.responseText;
+					document.getElementById("myDiv").innerHTML = contents;
+				}
+				return;
+			}
+			
+			function callXHR()
+			{
+				var textBoxValue = document.getElementById("freeTextField").value;
+				var client = new XMLHttpRequest();
+				client.onreadystatechange = handler;
+				client.open("GET", "page12.php?freeTextField="+textBoxValue, true);
+				client.send(null);
+				return;
+			}
+
+		</script>	
+	</head>
+	<body>
+		<div id="myDiv" style="location: absolute; top: 100px; left: 100px; height: 400px; width: 400px; background-color: #ff0000;"></div>
+		<input type="text" id="freeTextField" name="freeTextField" value="DEFAULT_SHOULD_BE_CHANGED"></input>
+		<button onclick="return callXHR();">SUBMIT</button>
+	</body>
 </html>
\ No newline at end of file
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page13.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page13.html
index a02adabe8..ab04fbc4a 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page13.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page13.html
@@ -1,32 +1,32 @@
-<html>
-	<head>
-		<script>	
-			function handler()
-			{
-				if(this.readyState == 4)
-				{
-					var contents = this.responseText;
-					document.getElementById("myDiv").innerHTML = contents;
-				}
-				return;
-			}
-			
-			function callXHR()
-			{
-				var textBoxValue = document.getElementById("freeTextField").value;
-				var client = new XMLHttpRequest();
-				client.onreadystatechange = handler;
-				client.open("POST", "page13.php", true);
-				client.setRequestHeader('Content-Type','application/x-www-form-urlencoded');
-				client.send("freeTextField="+textBoxValue);
-				return;
-			}
-
-		</script>	
-	</head>
-	<body>
-		<div id="myDiv" style="location: absolute; top: 100px; left: 100px; height: 400px; width: 400px; background-color: #ff0000;"></div>
-		<input type="text" id="freeTextField" name="freeTextField" value="DEFAULT_SHOULD_BE_CHANGED"></input>
-		<button onclick="return callXHR();">SUBMIT</button>
-	</body>
+<html>
+	<head>
+		<script>	
+			function handler()
+			{
+				if(this.readyState == 4)
+				{
+					var contents = this.responseText;
+					document.getElementById("myDiv").innerHTML = contents;
+				}
+				return;
+			}
+			
+			function callXHR()
+			{
+				var textBoxValue = document.getElementById("freeTextField").value;
+				var client = new XMLHttpRequest();
+				client.onreadystatechange = handler;
+				client.open("POST", "page13.php", true);
+				client.setRequestHeader('Content-Type','application/x-www-form-urlencoded');
+				client.send("freeTextField="+textBoxValue);
+				return;
+			}
+
+		</script>	
+	</head>
+	<body>
+		<div id="myDiv" style="location: absolute; top: 100px; left: 100px; height: 400px; width: 400px; background-color: #ff0000;"></div>
+		<input type="text" id="freeTextField" name="freeTextField" value="DEFAULT_SHOULD_BE_CHANGED"></input>
+		<button onclick="return callXHR();">SUBMIT</button>
+	</body>
 </html>
\ No newline at end of file
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page15.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page15.html
index 52b2ad8dc..da94e50b1 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page15.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page15.html
@@ -1,8 +1,8 @@
-<html>
-	<head>
-		<script src="15.js"></script>
-	</head>
-	<body onload="return changeUrls();">
-		<a href="#">Link to be changed onload</a>
-	</body>
-</html>
+<html>
+	<head>
+		<script src="15.js"></script>
+	</head>
+	<body onload="return changeUrls();">
+		<a href="#">Link to be changed onload</a>
+	</body>
+</html>
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page16.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page16.html
index e077ba4c9..2ac0f1105 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page16.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page16.html
@@ -1,8 +1,8 @@
-<html>
-	<head>
-		<script src="16.js"></script>
-	</head>
-	<body>
-		<a href="#" onclick="return changeUrls();">Link to be changed onload</a>
-	</body>
+<html>
+	<head>
+		<script src="16.js"></script>
+	</head>
+	<body>
+		<a href="#" onclick="return changeUrls();">Link to be changed onload</a>
+	</body>
 </html>
\ No newline at end of file
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page17.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page17.html
index 154cb0b24..da2cc9666 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page17.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/crawl/page17.html
@@ -1,37 +1,37 @@
-<html>
-	<head>
-		<script>
-			function loadScript(url, callback)
-			{
-				var head = document.getElementsByTagName("head")[0];
-				var script = document.createElement("script");
-				script.src = url;
-     
-				var done = false;
-				script.onload = script.onreadystatechange = function _page17_handler()
-				{
-					if( !done && ( !this.readyState || this.readyState == "loaded" || this.readyState == "complete"))
-					{
-                        done = true;
-						callback();
-                        script.onload = script.onreadystatechange = null;
-                        head.removeChild( script );
-					}
-				};
-
-				head.appendChild(script);
-			}
-			function callFunction()
-			{
-				changeUrls();
-			}
-
-		</script>
-	</head>
-	<body>
-		<a href="#">Test Link</a>
-		<script>
-			loadScript("17.js", callFunction);
-		</script>
-	</body>
+<html>
+	<head>
+		<script>
+			function loadScript(url, callback)
+			{
+				var head = document.getElementsByTagName("head")[0];
+				var script = document.createElement("script");
+				script.src = url;
+     
+				var done = false;
+				script.onload = script.onreadystatechange = function _page17_handler()
+				{
+					if( !done && ( !this.readyState || this.readyState == "loaded" || this.readyState == "complete"))
+					{
+                        done = true;
+						callback();
+                        script.onload = script.onreadystatechange = null;
+                        head.removeChild( script );
+					}
+				};
+
+				head.appendChild(script);
+			}
+			function callFunction()
+			{
+				changeUrls();
+			}
+
+		</script>
+	</head>
+	<body>
+		<a href="#">Test Link</a>
+		<script>
+			loadScript("17.js", callFunction);
+		</script>
+	</body>
 </html>
\ No newline at end of file
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery.html
index 2bae2851f..d8c111f3e 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery.html
@@ -1,263 +1,263 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html>
-	<head>
-		<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
-		<title>Untitled Document</title>
-	</head>
-<script>
-(function top () {
-    var c = n.jQuery = n.$ = function dollar (a, d) {
-            return new c.fn.init(a, d)
-        }
-    c.fn = c.prototype = {
-        init: function init (a, d) {
-            a = a || document;
-            if (a.nodeType) {
-                this[0] = a;
-                this.length = 1;
-                this.context = a;
-                return this
-            }
-            if (typeof a === "string") {
-                var f = r.exec(a);
-                if (f && (f[1] || !d)) if (f[1]) a = c.clean([f[1]], d);
-                else {
-                    if ((d = document.getElementById(f[3])) && d.id != f[3]) return c().find(a);
-                    f = c(d || []);
-                    f.context = document;
-                    f.selector = a;
-                    return f
-                } else return c(d).find(a)
-            } else if (c.isFunction(a)) return c(document).ready(a);
-            if (a.selector && a.context) {
-                this.selector =
-                a.selector;
-                this.context = a.context
-            }
-            return this.setArray(c.isArray(a) ? a : c.makeArray(a))
-        }
-        
-    };
-    c.extend = c.fn.extend = function extend () {
-        var a =
-        arguments[0] || {},
-            d = 1,
-            f = arguments.length,
-            j = false,
-            q;
-        if (typeof a === "boolean") {
-            j = a;
-            a = arguments[1] || {};
-            d = 2
-        }
-        if (typeof a !== "object" && !c.isFunction(a)) a = {};
-        if (f == d) {
-            a = this;
-            --d
-        }
-        for (; d < f; d++) if ((q = arguments[d]) != null) for (var t in q) {
-            var y = a[t],
-                A = q[t];
-            if (a !== A) if (j && A && typeof A === "object" && !A.nodeType) a[t] = c.extend(j, y || (A.length != null ? [] : {}), A);
-            else if (A !== void 0) a[t] = A
-        }
-        return a
-    };
-    c.extend({
-        noConflict: function noConflict (a) {
-            n.$ =
-            B;
-            if (a) n.jQuery = w;
-            return c
-        },
-        isFunction: 2,
-        each: function each (a, d, f) {
-            var j, q = 0,
-                t = a.length;
-            if (f) if (t === void 0) for (j in a) {
-                if (d.apply(a[j], f) === false) break
-            } else for (; q < t;) {
-                if (d.apply(a[q++], f) === false) break
-            } else if (t === void 0) for (j in a) {
-                if (d.call(a[j], j, a[j]) === false) break
-            } else for (f = a[0]; q < t && d.call(f, q, f) !== false; f = a[++q]);
-            return a
-        },
-        className: {
-            add: function add (a, d) {
-                c.each((d || "").split(/\s+/), function (f, j) {
-                    if (a.nodeType == 1 && !c.className.has(a.className, j)) a.className += (a.className ? " " : "") + j
-                })
-            },
-            remove: function remove (a, d) {
-                if (a.nodeType == 1) a.className = d !== void 0 ? c.grep(a.className.split(/\s+/), function (f) {
-                    return !c.className.has(d, f)
-                }).join(" ") : ""
-            },
-            has: function has (a, d) {
-                return a && c.inArray(d, (a.className || a).toString().split(/\s+/)) > -1
-            }
-        },
-        swap: function swap (a, d, f) {
-            var j = {};
-            for (var q in d) {
-                j[q] = a.style[q];
-                a.style[q] = d[q]
-            }
-            f.call(a);
-            for (q in d) a.style[q] = j[q]
-        },
-        css: function css (a, d, f, j) {
-            if (d == "width" || d == "height") {
-                var q;
-                f = {
-                    position: "absolute",
-                    visibility: "hidden",
-                    display: "block"
-                };
-                var t = d == "width" ? ["Left", "Right"] : ["Top", "Bottom"],
-                    y = function () {
-                        q = d == "width" ? a.offsetWidth : a.offsetHeight;
-                        j !== "border" && c.each(t, function () {
-                            j || (q -= parseFloat(c.curCSS(a, "padding" + this, true)) || 0);
-                            if (j === "margin") q += parseFloat(c.curCSS(a, "margin" + this, true)) || 0;
-                            else q -= parseFloat(c.curCSS(a, "border" + this + "Width", true)) || 0
-                        })
-                    };
-                a.offsetWidth !== 0 ? y() : c.swap(a, f, y);
-                return Math.max(0, Math.round(q))
-            }
-            return c.curCSS(a, d, f)
-        },
-        curCSS: function curCSS (a, d, f) {
-            var j, q = a.style;
-            if (d == "opacity" && !c.support.opacity) {
-                j = c.attr(q, "opacity");
-                return j == "" ? "1" : j
-            }
-            if (d.match(/float/i)) d = W;
-            if (!f && q && q[d]) j = q[d];
-            else if (F.getComputedStyle) {
-                if (d.match(/float/i)) d = "float";
-                d = d.replace(/([A-Z])/g, "-$1").toLowerCase();
-                if (a = F.getComputedStyle(a, null)) j = a.getPropertyValue(d);
-                if (d == "opacity" && j == "") j = "1"
-            } else if (a.currentStyle) {
-                j = d.replace(/\-(\w)/g, function (t, y) {
-                    return y.toUpperCase()
-                });
-                j = a.currentStyle[d] || a.currentStyle[j];
-                if (!/^\d+(px)?$/i.test(j) && /^\d/.test(j)) {
-                    d = q.left;
-                    f = a.runtimeStyle.left;
-                    a.runtimeStyle.left = a.currentStyle.left;
-                    q.left = j || 0;
-                    j = q.pixelLeft + "px";
-                    q.left = d;
-                    a.runtimeStyle.left = f
-                }
-            }
-            return j
-        },
-        clean: function clean (a, d, f) {
-            d = d || document;
-            if (typeof d.createElement === "undefined") d = d.ownerDocument || d[0] && d[0].ownerDocument || document;
-            if (!f && a.length === 1 && typeof a[0] === "string") {
-                var j = /^<(\w+)\s*\/?>$/.exec(a[0]);
-                if (j) return [d.createElement(j[1])]
-            }
-            c.each(a, function (y, A) {
-                if (typeof A === "number") A += "";
-                if (A) {
-                    if (typeof A === "string") {
-                        A = A.replace(/(<(\w+)[^>]*?)\/>/g, function (M, Q, S) {
-                            return S.match(/^(abbr|br|col|img|input|link|meta|param|hr|area|embed)$/i) ? M : Q + "></" + S + ">"
-                        });
-                        y = A.replace(/^\s+/, "").substring(0, 10).toLowerCase();
-                        var L = !y.indexOf("<opt") && [1, "<select multiple='multiple'>", "</select>"] || !y.indexOf("<leg") && [1, "<fieldset>", "</fieldset>"] || y.match(/^<(thead|tbody|tfoot|colg|cap)/) && [1, "<table>", "</table>"] || !y.indexOf("<tr") && [2, "<table><tbody>", "</tbody></table>"] || (!y.indexOf("<td") || !y.indexOf("<th")) && [3, "<table><tbody><tr>", "</tr></tbody></table>"] || !y.indexOf("<col") && [2, "<table><tbody></tbody><colgroup>", "</colgroup></table>"] || !c.support.htmlSerialize && [1, "div<div>", "</div>"] || [0, "", ""];
-                        for (t.innerHTML = L[1] + A + L[2]; L[0]--;) t = t.lastChild;
-                        if (!c.support.tbody) {
-                            var N = /<tbody/i.test(A);
-                            y = !y.indexOf("<table") && !N ? t.firstChild && t.firstChild.childNodes : L[1] == "<table>" && !N ? t.childNodes : [];
-                            for (L = y.length - 1; L >= 0; --L) c.nodeName(y[L], "tbody") && !y[L].childNodes.length && y[L].parentNode.removeChild(y[L])
-                        }!c.support.leadingWhitespace && /^\s/.test(A) && t.insertBefore(d.createTextNode(A.match(/^\s*/)[0]), t.firstChild);
-                        A = c.makeArray(t.childNodes)
-                    }
-                    if (A.nodeType) q.push(A);
-                    else q = c.merge(q, A)
-                }
-            });
-            if (f) {
-                for (a = 0; q[a]; a++) if (c.nodeName(q[a], "script") && (!q[a].type || q[a].type.toLowerCase() === "text/javascript")) j.push(q[a].parentNode ? q[a].parentNode.removeChild(q[a]) : q[a]);
-                else {
-                    q[a].nodeType === 1 && q.splice.apply(q, [a + 1, 0].concat(c.makeArray(q[a].getElementsByTagName("script"))));
-                    f.appendChild(q[a])
-                }
-                return j
-            }
-            return q
-        },
-        attr: function attr (a, d, f) {
-            if (!(!a || a.nodeType == 3 || a.nodeType == 8)) {
-                var j = !c.isXMLDoc(a),
-                    q = f !== void 0;
-                d = j && c.props[d] || d;
-                if (a.tagName) {
-                    var t = /href|src|style/.test(d);
-                    if (d in a && j && !t) {
-                        if (q) {
-                            if (d == "type" && c.nodeName(a, "input") && a.parentNode) throw "type property can't be changed";
-                            a[d] = f
-                        }
-                        if (c.nodeName(a, "form") && a.getAttributeNode(d)) return a.getAttributeNode(d).nodeValue;
-                        if (d == "tabIndex") return (d = a.getAttributeNode("tabIndex")) && d.specified ? d.value : a.nodeName.match(/(button|input|object|select|textarea)/i) ? 0 : a.nodeName.match(/^(a|area)$/i) && a.href ? 0 : void 0;
-                        return a[d]
-                    }
-                    if (!c.support.style && j && d == "style") return c.attr(a.style, "cssText", f);
-                    q && a.setAttribute(d, "" + f);
-                    a = !c.support.hrefNormalized && j && t ? a.getAttribute(d, 2) : a.getAttribute(d);
-                    return a === null ? void 0 : a
-                }
-                if (!c.support.opacity && d == "opacity") {
-                    if (q) {
-                        a.zoom = 1;
-                        a.filter = (a.filter || "").replace(/alpha\([^)]*\)/, "") + (parseInt(f) + "" == "NaN" ? "" : "alpha(opacity=" + f * 100 + ")")
-                    }
-                    return a.filter && a.filter.indexOf("opacity=") >= 0 ? parseFloat(a.filter.match(/opacity=([^)]*)/)[1]) / 100 + "" : ""
-                }
-                d = d.replace(/-([a-z])/ig, function (y, A) {
-                    return A.toUpperCase()
-                });
-                if (q) a[d] = f;
-                return a[d]
-            }
-        },
-        makeArray: function makeArray (a) {
-            var d = [];
-            if (a != null) {
-                var f = a.length;
-                if (f == null || typeof a === "string" || c.isFunction(a) || a.setInterval) d[0] = a;
-                else for (; f;) d[--f] = a[f]
-            }
-            return d
-        },
-        inArray: function inArray (a, d) {
-            for (var f = 0, j = d.length; f < j; f++) if (d[f] === a) return f;
-            return -1
-        },
-        merge: function merge (a, d) {
-            var f = 0,
-                j, q = a.length;
-            if (c.support.getAll) for (;
-            (j = d[f++]) != null;) a[q++] = j;
-            else for (;
-            (j =
-            d[f++]) != null;) if (j.nodeType != 8) a[q++] = j;
-            return a
-        },
-        
-    });
-   
-})();
-
-</script>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+	<head>
+		<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+		<title>Untitled Document</title>
+	</head>
+<script>
+(function top () {
+    var c = n.jQuery = n.$ = function dollar (a, d) {
+            return new c.fn.init(a, d)
+        }
+    c.fn = c.prototype = {
+        init: function init (a, d) {
+            a = a || document;
+            if (a.nodeType) {
+                this[0] = a;
+                this.length = 1;
+                this.context = a;
+                return this
+            }
+            if (typeof a === "string") {
+                var f = r.exec(a);
+                if (f && (f[1] || !d)) if (f[1]) a = c.clean([f[1]], d);
+                else {
+                    if ((d = document.getElementById(f[3])) && d.id != f[3]) return c().find(a);
+                    f = c(d || []);
+                    f.context = document;
+                    f.selector = a;
+                    return f
+                } else return c(d).find(a)
+            } else if (c.isFunction(a)) return c(document).ready(a);
+            if (a.selector && a.context) {
+                this.selector =
+                a.selector;
+                this.context = a.context
+            }
+            return this.setArray(c.isArray(a) ? a : c.makeArray(a))
+        }
+        
+    };
+    c.extend = c.fn.extend = function extend () {
+        var a =
+        arguments[0] || {},
+            d = 1,
+            f = arguments.length,
+            j = false,
+            q;
+        if (typeof a === "boolean") {
+            j = a;
+            a = arguments[1] || {};
+            d = 2
+        }
+        if (typeof a !== "object" && !c.isFunction(a)) a = {};
+        if (f == d) {
+            a = this;
+            --d
+        }
+        for (; d < f; d++) if ((q = arguments[d]) != null) for (var t in q) {
+            var y = a[t],
+                A = q[t];
+            if (a !== A) if (j && A && typeof A === "object" && !A.nodeType) a[t] = c.extend(j, y || (A.length != null ? [] : {}), A);
+            else if (A !== void 0) a[t] = A
+        }
+        return a
+    };
+    c.extend({
+        noConflict: function noConflict (a) {
+            n.$ =
+            B;
+            if (a) n.jQuery = w;
+            return c
+        },
+        isFunction: 2,
+        each: function each (a, d, f) {
+            var j, q = 0,
+                t = a.length;
+            if (f) if (t === void 0) for (j in a) {
+                if (d.apply(a[j], f) === false) break
+            } else for (; q < t;) {
+                if (d.apply(a[q++], f) === false) break
+            } else if (t === void 0) for (j in a) {
+                if (d.call(a[j], j, a[j]) === false) break
+            } else for (f = a[0]; q < t && d.call(f, q, f) !== false; f = a[++q]);
+            return a
+        },
+        className: {
+            add: function add (a, d) {
+                c.each((d || "").split(/\s+/), function (f, j) {
+                    if (a.nodeType == 1 && !c.className.has(a.className, j)) a.className += (a.className ? " " : "") + j
+                })
+            },
+            remove: function remove (a, d) {
+                if (a.nodeType == 1) a.className = d !== void 0 ? c.grep(a.className.split(/\s+/), function (f) {
+                    return !c.className.has(d, f)
+                }).join(" ") : ""
+            },
+            has: function has (a, d) {
+                return a && c.inArray(d, (a.className || a).toString().split(/\s+/)) > -1
+            }
+        },
+        swap: function swap (a, d, f) {
+            var j = {};
+            for (var q in d) {
+                j[q] = a.style[q];
+                a.style[q] = d[q]
+            }
+            f.call(a);
+            for (q in d) a.style[q] = j[q]
+        },
+        css: function css (a, d, f, j) {
+            if (d == "width" || d == "height") {
+                var q;
+                f = {
+                    position: "absolute",
+                    visibility: "hidden",
+                    display: "block"
+                };
+                var t = d == "width" ? ["Left", "Right"] : ["Top", "Bottom"],
+                    y = function () {
+                        q = d == "width" ? a.offsetWidth : a.offsetHeight;
+                        j !== "border" && c.each(t, function () {
+                            j || (q -= parseFloat(c.curCSS(a, "padding" + this, true)) || 0);
+                            if (j === "margin") q += parseFloat(c.curCSS(a, "margin" + this, true)) || 0;
+                            else q -= parseFloat(c.curCSS(a, "border" + this + "Width", true)) || 0
+                        })
+                    };
+                a.offsetWidth !== 0 ? y() : c.swap(a, f, y);
+                return Math.max(0, Math.round(q))
+            }
+            return c.curCSS(a, d, f)
+        },
+        curCSS: function curCSS (a, d, f) {
+            var j, q = a.style;
+            if (d == "opacity" && !c.support.opacity) {
+                j = c.attr(q, "opacity");
+                return j == "" ? "1" : j
+            }
+            if (d.match(/float/i)) d = W;
+            if (!f && q && q[d]) j = q[d];
+            else if (F.getComputedStyle) {
+                if (d.match(/float/i)) d = "float";
+                d = d.replace(/([A-Z])/g, "-$1").toLowerCase();
+                if (a = F.getComputedStyle(a, null)) j = a.getPropertyValue(d);
+                if (d == "opacity" && j == "") j = "1"
+            } else if (a.currentStyle) {
+                j = d.replace(/\-(\w)/g, function (t, y) {
+                    return y.toUpperCase()
+                });
+                j = a.currentStyle[d] || a.currentStyle[j];
+                if (!/^\d+(px)?$/i.test(j) && /^\d/.test(j)) {
+                    d = q.left;
+                    f = a.runtimeStyle.left;
+                    a.runtimeStyle.left = a.currentStyle.left;
+                    q.left = j || 0;
+                    j = q.pixelLeft + "px";
+                    q.left = d;
+                    a.runtimeStyle.left = f
+                }
+            }
+            return j
+        },
+        clean: function clean (a, d, f) {
+            d = d || document;
+            if (typeof d.createElement === "undefined") d = d.ownerDocument || d[0] && d[0].ownerDocument || document;
+            if (!f && a.length === 1 && typeof a[0] === "string") {
+                var j = /^<(\w+)\s*\/?>$/.exec(a[0]);
+                if (j) return [d.createElement(j[1])]
+            }
+            c.each(a, function (y, A) {
+                if (typeof A === "number") A += "";
+                if (A) {
+                    if (typeof A === "string") {
+                        A = A.replace(/(<(\w+)[^>]*?)\/>/g, function (M, Q, S) {
+                            return S.match(/^(abbr|br|col|img|input|link|meta|param|hr|area|embed)$/i) ? M : Q + "></" + S + ">"
+                        });
+                        y = A.replace(/^\s+/, "").substring(0, 10).toLowerCase();
+                        var L = !y.indexOf("<opt") && [1, "<select multiple='multiple'>", "</select>"] || !y.indexOf("<leg") && [1, "<fieldset>", "</fieldset>"] || y.match(/^<(thead|tbody|tfoot|colg|cap)/) && [1, "<table>", "</table>"] || !y.indexOf("<tr") && [2, "<table><tbody>", "</tbody></table>"] || (!y.indexOf("<td") || !y.indexOf("<th")) && [3, "<table><tbody><tr>", "</tr></tbody></table>"] || !y.indexOf("<col") && [2, "<table><tbody></tbody><colgroup>", "</colgroup></table>"] || !c.support.htmlSerialize && [1, "div<div>", "</div>"] || [0, "", ""];
+                        for (t.innerHTML = L[1] + A + L[2]; L[0]--;) t = t.lastChild;
+                        if (!c.support.tbody) {
+                            var N = /<tbody/i.test(A);
+                            y = !y.indexOf("<table") && !N ? t.firstChild && t.firstChild.childNodes : L[1] == "<table>" && !N ? t.childNodes : [];
+                            for (L = y.length - 1; L >= 0; --L) c.nodeName(y[L], "tbody") && !y[L].childNodes.length && y[L].parentNode.removeChild(y[L])
+                        }!c.support.leadingWhitespace && /^\s/.test(A) && t.insertBefore(d.createTextNode(A.match(/^\s*/)[0]), t.firstChild);
+                        A = c.makeArray(t.childNodes)
+                    }
+                    if (A.nodeType) q.push(A);
+                    else q = c.merge(q, A)
+                }
+            });
+            if (f) {
+                for (a = 0; q[a]; a++) if (c.nodeName(q[a], "script") && (!q[a].type || q[a].type.toLowerCase() === "text/javascript")) j.push(q[a].parentNode ? q[a].parentNode.removeChild(q[a]) : q[a]);
+                else {
+                    q[a].nodeType === 1 && q.splice.apply(q, [a + 1, 0].concat(c.makeArray(q[a].getElementsByTagName("script"))));
+                    f.appendChild(q[a])
+                }
+                return j
+            }
+            return q
+        },
+        attr: function attr (a, d, f) {
+            if (!(!a || a.nodeType == 3 || a.nodeType == 8)) {
+                var j = !c.isXMLDoc(a),
+                    q = f !== void 0;
+                d = j && c.props[d] || d;
+                if (a.tagName) {
+                    var t = /href|src|style/.test(d);
+                    if (d in a && j && !t) {
+                        if (q) {
+                            if (d == "type" && c.nodeName(a, "input") && a.parentNode) throw "type property can't be changed";
+                            a[d] = f
+                        }
+                        if (c.nodeName(a, "form") && a.getAttributeNode(d)) return a.getAttributeNode(d).nodeValue;
+                        if (d == "tabIndex") return (d = a.getAttributeNode("tabIndex")) && d.specified ? d.value : a.nodeName.match(/(button|input|object|select|textarea)/i) ? 0 : a.nodeName.match(/^(a|area)$/i) && a.href ? 0 : void 0;
+                        return a[d]
+                    }
+                    if (!c.support.style && j && d == "style") return c.attr(a.style, "cssText", f);
+                    q && a.setAttribute(d, "" + f);
+                    a = !c.support.hrefNormalized && j && t ? a.getAttribute(d, 2) : a.getAttribute(d);
+                    return a === null ? void 0 : a
+                }
+                if (!c.support.opacity && d == "opacity") {
+                    if (q) {
+                        a.zoom = 1;
+                        a.filter = (a.filter || "").replace(/alpha\([^)]*\)/, "") + (parseInt(f) + "" == "NaN" ? "" : "alpha(opacity=" + f * 100 + ")")
+                    }
+                    return a.filter && a.filter.indexOf("opacity=") >= 0 ? parseFloat(a.filter.match(/opacity=([^)]*)/)[1]) / 100 + "" : ""
+                }
+                d = d.replace(/-([a-z])/ig, function (y, A) {
+                    return A.toUpperCase()
+                });
+                if (q) a[d] = f;
+                return a[d]
+            }
+        },
+        makeArray: function makeArray (a) {
+            var d = [];
+            if (a != null) {
+                var f = a.length;
+                if (f == null || typeof a === "string" || c.isFunction(a) || a.setInterval) d[0] = a;
+                else for (; f;) d[--f] = a[f]
+            }
+            return d
+        },
+        inArray: function inArray (a, d) {
+            for (var f = 0, j = d.length; f < j; f++) if (d[f] === a) return f;
+            return -1
+        },
+        merge: function merge (a, d) {
+            var f = 0,
+                j, q = a.length;
+            if (c.support.getAll) for (;
+            (j = d[f++]) != null;) a[q++] = j;
+            else for (;
+            (j =
+            d[f++]) != null;) if (j.nodeType != 8) a[q++] = j;
+            return a
+        },
+        
+    });
+   
+})();
+
+</script>
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery_hacked.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery_hacked.html
index a37b6e147..98602fa6e 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery_hacked.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/jquery_hacked.html
@@ -1,288 +1,288 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
-<html>
-	<head>
-		<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
-		<title>Untitled Document</title>
-	</head>
-<script>
-(function top () {
-    var c = n.jQuery = n.$ = function dollar (a, d) {
-            return new c.fn.init(a, d)
-        }
-    c.fn = c.prototype = {
-        init: function init (a, d) {
-            a = a || document;
-            if (a.nodeType) {
-                this[0] = a;
-                this.length = 1;
-                this.context = a;
-                return this
-            }
-            if (typeof a === "string") {
-                var f = r.exec(a);
-                if (f && (f[1] || !d)) if (f[1]) a = c.clean([f[1]], d);
-                else {
-                    if ((d = document.getElementById(f[3])) && d.id != f[3]) return c().find(a);
-                    f = c(d || []);
-                    f.context = document;
-                    f.selector = a;
-                    return f
-                } else return c(d).find(a)
-            } else if (c.isFunction(a)) return c(document).ready(a);
-            if (a.selector && a.context) {
-                this.selector =
-                a.selector;
-                this.context = a.context
-            }
-            return this.setArray(c.isArray(a) ? a : c.makeArray(a))
-        }
-        
-    };
-    c.extend = c.fn.extend = function extend () {
-        var a =
-        arguments[0] || {},
-            d = 1,
-            f = arguments.length,
-            j = false,
-            q;
-        if (typeof a === "boolean") {
-            j = a;
-            a = arguments[1] || {};
-            d = 2
-        }
-        if (typeof a !== "object" && !c.isFunction(a)) a = {};
-        if (f == d) {
-            a = this;
-            --d
-        }
-        for (; d < f; d++) 
-        	if ((q = arguments[d]) != null) {
-        		for (var t in q) {
-        			(function _forin_body_1(t) {
-           				var y = a[t],
-               			 	A = q[t];
-            			if (a !== A) 
-            		 		if (j && A && typeof A === "object" && !A.nodeType) a[t] = c.extend(j, y || (A.length != null ? [] : {}), A);
-           			 		else if (A !== void 0) a[t] = A
-        			})(t);
-        		}
-    		}
-        return a
-    };
-    c.extend({
-        noConflict: function noConflict (a) {
-            n.$ =
-            B;
-            if (a) n.jQuery = w;
-            return c
-        },
-        isFunction: 2,
-        each: function each (a, d, f) {
-            var j, q = 0,
-                t = a.length;
-            if (f) if (t === void 0) { for (j in a) {
-            	if ((function _forin_body_2(j) {
-                		if (d.apply(a[j], f) === false) return true;
-                		else return false;
-            		})(j)) {
-            		break;
-            	}
-            } } else for (; q < t;) {
-                if (d.apply(a[q++], f) === false) break
-            } else if (t === void 0) { for (j in a) {
-                if ((function _forin_body_3(j) { 
-                		if (d.call(a[j], j, a[j]) === false) 
-                			return true;
-                		else
-                			return false;
-                	  })(j)) {
-                		break
-                	}
-                }
-            } else for (f = a[0]; q < t && d.call(f, q, f) !== false; f = a[++q]);
-            return a
-        },
-        className: {
-            add: function add (a, d) {
-                c.each((d || "").split(/\s+/), function (f, j) {
-                    if (a.nodeType == 1 && !c.className.has(a.className, j)) a.className += (a.className ? " " : "") + j
-                })
-            },
-            remove: function remove (a, d) {
-                if (a.nodeType == 1) a.className = d !== void 0 ? c.grep(a.className.split(/\s+/), function (f) {
-                    return !c.className.has(d, f)
-                }).join(" ") : ""
-            },
-            has: function has (a, d) {
-                return a && c.inArray(d, (a.className || a).toString().split(/\s+/)) > -1
-            }
-        },
-        swap: function swap (a, d, f) {
-            var j = {};
-            for (var q in d) {
-            	(function _forin_body_4(q) {
-                	j[q] = a.style[q];
-                	a.style[q] = d[q]
-            	})(q);
-            }
-            f.call(a);
-            for (q in d) {
-            	(function _forin_body_5(q) {
-            		a.style[q] = j[q]
-            	})(q);
-            	}
-        },
-        css: function css (a, d, f, j) {
-            if (d == "width" || d == "height") {
-                var q;
-                f = {
-                    position: "absolute",
-                    visibility: "hidden",
-                    display: "block"
-                };
-                var t = d == "width" ? ["Left", "Right"] : ["Top", "Bottom"],
-                    y = function () {
-                        q = d == "width" ? a.offsetWidth : a.offsetHeight;
-                        j !== "border" && c.each(t, function () {
-                            j || (q -= parseFloat(c.curCSS(a, "padding" + this, true)) || 0);
-                            if (j === "margin") q += parseFloat(c.curCSS(a, "margin" + this, true)) || 0;
-                            else q -= parseFloat(c.curCSS(a, "border" + this + "Width", true)) || 0
-                        })
-                    };
-                a.offsetWidth !== 0 ? y() : c.swap(a, f, y);
-                return Math.max(0, Math.round(q))
-            }
-            return c.curCSS(a, d, f)
-        },
-        curCSS: function curCSS (a, d, f) {
-            var j, q = a.style;
-            if (d == "opacity" && !c.support.opacity) {
-                j = c.attr(q, "opacity");
-                return j == "" ? "1" : j
-            }
-            if (d.match(/float/i)) d = W;
-            if (!f && q && q[d]) j = q[d];
-            else if (F.getComputedStyle) {
-                if (d.match(/float/i)) d = "float";
-                d = d.replace(/([A-Z])/g, "-$1").toLowerCase();
-                if (a = F.getComputedStyle(a, null)) j = a.getPropertyValue(d);
-                if (d == "opacity" && j == "") j = "1"
-            } else if (a.currentStyle) {
-                j = d.replace(/\-(\w)/g, function (t, y) {
-                    return y.toUpperCase()
-                });
-                j = a.currentStyle[d] || a.currentStyle[j];
-                if (!/^\d+(px)?$/i.test(j) && /^\d/.test(j)) {
-                    d = q.left;
-                    f = a.runtimeStyle.left;
-                    a.runtimeStyle.left = a.currentStyle.left;
-                    q.left = j || 0;
-                    j = q.pixelLeft + "px";
-                    q.left = d;
-                    a.runtimeStyle.left = f
-                }
-            }
-            return j
-        },
-        clean: function clean (a, d, f) {
-            d = d || document;
-            if (typeof d.createElement === "undefined") d = d.ownerDocument || d[0] && d[0].ownerDocument || document;
-            if (!f && a.length === 1 && typeof a[0] === "string") {
-                var j = /^<(\w+)\s*\/?>$/.exec(a[0]);
-                if (j) return [d.createElement(j[1])]
-            }
-            c.each(a, function (y, A) {
-                if (typeof A === "number") A += "";
-                if (A) {
-                    if (typeof A === "string") {
-                        A = A.replace(/(<(\w+)[^>]*?)\/>/g, function (M, Q, S) {
-                            return S.match(/^(abbr|br|col|img|input|link|meta|param|hr|area|embed)$/i) ? M : Q + "></" + S + ">"
-                        });
-                        y = A.replace(/^\s+/, "").substring(0, 10).toLowerCase();
-                        var L = !y.indexOf("<opt") && [1, "<select multiple='multiple'>", "</select>"] || !y.indexOf("<leg") && [1, "<fieldset>", "</fieldset>"] || y.match(/^<(thead|tbody|tfoot|colg|cap)/) && [1, "<table>", "</table>"] || !y.indexOf("<tr") && [2, "<table><tbody>", "</tbody></table>"] || (!y.indexOf("<td") || !y.indexOf("<th")) && [3, "<table><tbody><tr>", "</tr></tbody></table>"] || !y.indexOf("<col") && [2, "<table><tbody></tbody><colgroup>", "</colgroup></table>"] || !c.support.htmlSerialize && [1, "div<div>", "</div>"] || [0, "", ""];
-                        for (t.innerHTML = L[1] + A + L[2]; L[0]--;) t = t.lastChild;
-                        if (!c.support.tbody) {
-                            var N = /<tbody/i.test(A);
-                            y = !y.indexOf("<table") && !N ? t.firstChild && t.firstChild.childNodes : L[1] == "<table>" && !N ? t.childNodes : [];
-                            for (L = y.length - 1; L >= 0; --L) c.nodeName(y[L], "tbody") && !y[L].childNodes.length && y[L].parentNode.removeChild(y[L])
-                        }!c.support.leadingWhitespace && /^\s/.test(A) && t.insertBefore(d.createTextNode(A.match(/^\s*/)[0]), t.firstChild);
-                        A = c.makeArray(t.childNodes)
-                    }
-                    if (A.nodeType) q.push(A);
-                    else q = c.merge(q, A)
-                }
-            });
-            if (f) {
-                for (a = 0; q[a]; a++) if (c.nodeName(q[a], "script") && (!q[a].type || q[a].type.toLowerCase() === "text/javascript")) j.push(q[a].parentNode ? q[a].parentNode.removeChild(q[a]) : q[a]);
-                else {
-                    q[a].nodeType === 1 && q.splice.apply(q, [a + 1, 0].concat(c.makeArray(q[a].getElementsByTagName("script"))));
-                    f.appendChild(q[a])
-                }
-                return j
-            }
-            return q
-        },
-        attr: function attr (a, d, f) {
-            if (!(!a || a.nodeType == 3 || a.nodeType == 8)) {
-                var j = !c.isXMLDoc(a),
-                    q = f !== void 0;
-                d = j && c.props[d] || d;
-                if (a.tagName) {
-                    var t = /href|src|style/.test(d);
-                    if (d in a && j && !t) {
-                        if (q) {
-                            if (d == "type" && c.nodeName(a, "input") && a.parentNode) throw "type property can't be changed";
-                            a[d] = f
-                        }
-                        if (c.nodeName(a, "form") && a.getAttributeNode(d)) return a.getAttributeNode(d).nodeValue;
-                        if (d == "tabIndex") return (d = a.getAttributeNode("tabIndex")) && d.specified ? d.value : a.nodeName.match(/(button|input|object|select|textarea)/i) ? 0 : a.nodeName.match(/^(a|area)$/i) && a.href ? 0 : void 0;
-                        return a[d]
-                    }
-                    if (!c.support.style && j && d == "style") return c.attr(a.style, "cssText", f);
-                    q && a.setAttribute(d, "" + f);
-                    a = !c.support.hrefNormalized && j && t ? a.getAttribute(d, 2) : a.getAttribute(d);
-                    return a === null ? void 0 : a
-                }
-                if (!c.support.opacity && d == "opacity") {
-                    if (q) {
-                        a.zoom = 1;
-                        a.filter = (a.filter || "").replace(/alpha\([^)]*\)/, "") + (parseInt(f) + "" == "NaN" ? "" : "alpha(opacity=" + f * 100 + ")")
-                    }
-                    return a.filter && a.filter.indexOf("opacity=") >= 0 ? parseFloat(a.filter.match(/opacity=([^)]*)/)[1]) / 100 + "" : ""
-                }
-                d = d.replace(/-([a-z])/ig, function (y, A) {
-                    return A.toUpperCase()
-                });
-                if (q) a[d] = f;
-                return a[d]
-            }
-        },
-        makeArray: function makeArray (a) {
-            var d = [];
-            if (a != null) {
-                var f = a.length;
-                if (f == null || typeof a === "string" || c.isFunction(a) || a.setInterval) d[0] = a;
-                else for (; f;) d[--f] = a[f]
-            }
-            return d
-        },
-        inArray: function inArray (a, d) {
-            for (var f = 0, j = d.length; f < j; f++) if (d[f] === a) return f;
-            return -1
-        },
-        merge: function merge (a, d) {
-            var f = 0,
-                j, q = a.length;
-            if (c.support.getAll) for (;
-            (j = d[f++]) != null;) a[q++] = j;
-            else for (;
-            (j =
-            d[f++]) != null;) if (j.nodeType != 8) a[q++] = j;
-            return a
-        },
-        
-    });
-   
-})();
-
-</script>
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+	<head>
+		<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
+		<title>Untitled Document</title>
+	</head>
+<script>
+(function top () {
+    var c = n.jQuery = n.$ = function dollar (a, d) {
+            return new c.fn.init(a, d)
+        }
+    c.fn = c.prototype = {
+        init: function init (a, d) {
+            a = a || document;
+            if (a.nodeType) {
+                this[0] = a;
+                this.length = 1;
+                this.context = a;
+                return this
+            }
+            if (typeof a === "string") {
+                var f = r.exec(a);
+                if (f && (f[1] || !d)) if (f[1]) a = c.clean([f[1]], d);
+                else {
+                    if ((d = document.getElementById(f[3])) && d.id != f[3]) return c().find(a);
+                    f = c(d || []);
+                    f.context = document;
+                    f.selector = a;
+                    return f
+                } else return c(d).find(a)
+            } else if (c.isFunction(a)) return c(document).ready(a);
+            if (a.selector && a.context) {
+                this.selector =
+                a.selector;
+                this.context = a.context
+            }
+            return this.setArray(c.isArray(a) ? a : c.makeArray(a))
+        }
+        
+    };
+    c.extend = c.fn.extend = function extend () {
+        var a =
+        arguments[0] || {},
+            d = 1,
+            f = arguments.length,
+            j = false,
+            q;
+        if (typeof a === "boolean") {
+            j = a;
+            a = arguments[1] || {};
+            d = 2
+        }
+        if (typeof a !== "object" && !c.isFunction(a)) a = {};
+        if (f == d) {
+            a = this;
+            --d
+        }
+        for (; d < f; d++) 
+        	if ((q = arguments[d]) != null) {
+        		for (var t in q) {
+        			(function _forin_body_1(t) {
+           				var y = a[t],
+               			 	A = q[t];
+            			if (a !== A) 
+            		 		if (j && A && typeof A === "object" && !A.nodeType) a[t] = c.extend(j, y || (A.length != null ? [] : {}), A);
+           			 		else if (A !== void 0) a[t] = A
+        			})(t);
+        		}
+    		}
+        return a
+    };
+    c.extend({
+        noConflict: function noConflict (a) {
+            n.$ =
+            B;
+            if (a) n.jQuery = w;
+            return c
+        },
+        isFunction: 2,
+        each: function each (a, d, f) {
+            var j, q = 0,
+                t = a.length;
+            if (f) if (t === void 0) { for (j in a) {
+            	if ((function _forin_body_2(j) {
+                		if (d.apply(a[j], f) === false) return true;
+                		else return false;
+            		})(j)) {
+            		break;
+            	}
+            } } else for (; q < t;) {
+                if (d.apply(a[q++], f) === false) break
+            } else if (t === void 0) { for (j in a) {
+                if ((function _forin_body_3(j) { 
+                		if (d.call(a[j], j, a[j]) === false) 
+                			return true;
+                		else
+                			return false;
+                	  })(j)) {
+                		break
+                	}
+                }
+            } else for (f = a[0]; q < t && d.call(f, q, f) !== false; f = a[++q]);
+            return a
+        },
+        className: {
+            add: function add (a, d) {
+                c.each((d || "").split(/\s+/), function (f, j) {
+                    if (a.nodeType == 1 && !c.className.has(a.className, j)) a.className += (a.className ? " " : "") + j
+                })
+            },
+            remove: function remove (a, d) {
+                if (a.nodeType == 1) a.className = d !== void 0 ? c.grep(a.className.split(/\s+/), function (f) {
+                    return !c.className.has(d, f)
+                }).join(" ") : ""
+            },
+            has: function has (a, d) {
+                return a && c.inArray(d, (a.className || a).toString().split(/\s+/)) > -1
+            }
+        },
+        swap: function swap (a, d, f) {
+            var j = {};
+            for (var q in d) {
+            	(function _forin_body_4(q) {
+                	j[q] = a.style[q];
+                	a.style[q] = d[q]
+            	})(q);
+            }
+            f.call(a);
+            for (q in d) {
+            	(function _forin_body_5(q) {
+            		a.style[q] = j[q]
+            	})(q);
+            	}
+        },
+        css: function css (a, d, f, j) {
+            if (d == "width" || d == "height") {
+                var q;
+                f = {
+                    position: "absolute",
+                    visibility: "hidden",
+                    display: "block"
+                };
+                var t = d == "width" ? ["Left", "Right"] : ["Top", "Bottom"],
+                    y = function () {
+                        q = d == "width" ? a.offsetWidth : a.offsetHeight;
+                        j !== "border" && c.each(t, function () {
+                            j || (q -= parseFloat(c.curCSS(a, "padding" + this, true)) || 0);
+                            if (j === "margin") q += parseFloat(c.curCSS(a, "margin" + this, true)) || 0;
+                            else q -= parseFloat(c.curCSS(a, "border" + this + "Width", true)) || 0
+                        })
+                    };
+                a.offsetWidth !== 0 ? y() : c.swap(a, f, y);
+                return Math.max(0, Math.round(q))
+            }
+            return c.curCSS(a, d, f)
+        },
+        curCSS: function curCSS (a, d, f) {
+            var j, q = a.style;
+            if (d == "opacity" && !c.support.opacity) {
+                j = c.attr(q, "opacity");
+                return j == "" ? "1" : j
+            }
+            if (d.match(/float/i)) d = W;
+            if (!f && q && q[d]) j = q[d];
+            else if (F.getComputedStyle) {
+                if (d.match(/float/i)) d = "float";
+                d = d.replace(/([A-Z])/g, "-$1").toLowerCase();
+                if (a = F.getComputedStyle(a, null)) j = a.getPropertyValue(d);
+                if (d == "opacity" && j == "") j = "1"
+            } else if (a.currentStyle) {
+                j = d.replace(/\-(\w)/g, function (t, y) {
+                    return y.toUpperCase()
+                });
+                j = a.currentStyle[d] || a.currentStyle[j];
+                if (!/^\d+(px)?$/i.test(j) && /^\d/.test(j)) {
+                    d = q.left;
+                    f = a.runtimeStyle.left;
+                    a.runtimeStyle.left = a.currentStyle.left;
+                    q.left = j || 0;
+                    j = q.pixelLeft + "px";
+                    q.left = d;
+                    a.runtimeStyle.left = f
+                }
+            }
+            return j
+        },
+        clean: function clean (a, d, f) {
+            d = d || document;
+            if (typeof d.createElement === "undefined") d = d.ownerDocument || d[0] && d[0].ownerDocument || document;
+            if (!f && a.length === 1 && typeof a[0] === "string") {
+                var j = /^<(\w+)\s*\/?>$/.exec(a[0]);
+                if (j) return [d.createElement(j[1])]
+            }
+            c.each(a, function (y, A) {
+                if (typeof A === "number") A += "";
+                if (A) {
+                    if (typeof A === "string") {
+                        A = A.replace(/(<(\w+)[^>]*?)\/>/g, function (M, Q, S) {
+                            return S.match(/^(abbr|br|col|img|input|link|meta|param|hr|area|embed)$/i) ? M : Q + "></" + S + ">"
+                        });
+                        y = A.replace(/^\s+/, "").substring(0, 10).toLowerCase();
+                        var L = !y.indexOf("<opt") && [1, "<select multiple='multiple'>", "</select>"] || !y.indexOf("<leg") && [1, "<fieldset>", "</fieldset>"] || y.match(/^<(thead|tbody|tfoot|colg|cap)/) && [1, "<table>", "</table>"] || !y.indexOf("<tr") && [2, "<table><tbody>", "</tbody></table>"] || (!y.indexOf("<td") || !y.indexOf("<th")) && [3, "<table><tbody><tr>", "</tr></tbody></table>"] || !y.indexOf("<col") && [2, "<table><tbody></tbody><colgroup>", "</colgroup></table>"] || !c.support.htmlSerialize && [1, "div<div>", "</div>"] || [0, "", ""];
+                        for (t.innerHTML = L[1] + A + L[2]; L[0]--;) t = t.lastChild;
+                        if (!c.support.tbody) {
+                            var N = /<tbody/i.test(A);
+                            y = !y.indexOf("<table") && !N ? t.firstChild && t.firstChild.childNodes : L[1] == "<table>" && !N ? t.childNodes : [];
+                            for (L = y.length - 1; L >= 0; --L) c.nodeName(y[L], "tbody") && !y[L].childNodes.length && y[L].parentNode.removeChild(y[L])
+                        }!c.support.leadingWhitespace && /^\s/.test(A) && t.insertBefore(d.createTextNode(A.match(/^\s*/)[0]), t.firstChild);
+                        A = c.makeArray(t.childNodes)
+                    }
+                    if (A.nodeType) q.push(A);
+                    else q = c.merge(q, A)
+                }
+            });
+            if (f) {
+                for (a = 0; q[a]; a++) if (c.nodeName(q[a], "script") && (!q[a].type || q[a].type.toLowerCase() === "text/javascript")) j.push(q[a].parentNode ? q[a].parentNode.removeChild(q[a]) : q[a]);
+                else {
+                    q[a].nodeType === 1 && q.splice.apply(q, [a + 1, 0].concat(c.makeArray(q[a].getElementsByTagName("script"))));
+                    f.appendChild(q[a])
+                }
+                return j
+            }
+            return q
+        },
+        attr: function attr (a, d, f) {
+            if (!(!a || a.nodeType == 3 || a.nodeType == 8)) {
+                var j = !c.isXMLDoc(a),
+                    q = f !== void 0;
+                d = j && c.props[d] || d;
+                if (a.tagName) {
+                    var t = /href|src|style/.test(d);
+                    if (d in a && j && !t) {
+                        if (q) {
+                            if (d == "type" && c.nodeName(a, "input") && a.parentNode) throw "type property can't be changed";
+                            a[d] = f
+                        }
+                        if (c.nodeName(a, "form") && a.getAttributeNode(d)) return a.getAttributeNode(d).nodeValue;
+                        if (d == "tabIndex") return (d = a.getAttributeNode("tabIndex")) && d.specified ? d.value : a.nodeName.match(/(button|input|object|select|textarea)/i) ? 0 : a.nodeName.match(/^(a|area)$/i) && a.href ? 0 : void 0;
+                        return a[d]
+                    }
+                    if (!c.support.style && j && d == "style") return c.attr(a.style, "cssText", f);
+                    q && a.setAttribute(d, "" + f);
+                    a = !c.support.hrefNormalized && j && t ? a.getAttribute(d, 2) : a.getAttribute(d);
+                    return a === null ? void 0 : a
+                }
+                if (!c.support.opacity && d == "opacity") {
+                    if (q) {
+                        a.zoom = 1;
+                        a.filter = (a.filter || "").replace(/alpha\([^)]*\)/, "") + (parseInt(f) + "" == "NaN" ? "" : "alpha(opacity=" + f * 100 + ")")
+                    }
+                    return a.filter && a.filter.indexOf("opacity=") >= 0 ? parseFloat(a.filter.match(/opacity=([^)]*)/)[1]) / 100 + "" : ""
+                }
+                d = d.replace(/-([a-z])/ig, function (y, A) {
+                    return A.toUpperCase()
+                });
+                if (q) a[d] = f;
+                return a[d]
+            }
+        },
+        makeArray: function makeArray (a) {
+            var d = [];
+            if (a != null) {
+                var f = a.length;
+                if (f == null || typeof a === "string" || c.isFunction(a) || a.setInterval) d[0] = a;
+                else for (; f;) d[--f] = a[f]
+            }
+            return d
+        },
+        inArray: function inArray (a, d) {
+            for (var f = 0, j = d.length; f < j; f++) if (d[f] === a) return f;
+            return -1
+        },
+        merge: function merge (a, d) {
+            var f = 0,
+                j, q = a.length;
+            if (c.support.getAll) for (;
+            (j = d[f++]) != null;) a[q++] = j;
+            else for (;
+            (j =
+            d[f++]) != null;) if (j.nodeType != 8) a[q++] = j;
+            return a
+        },
+        
+    });
+   
+})();
+
+</script>
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/page3.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/page3.html
index 9921c0c94..1c6d32545 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/page3.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/page3.html
@@ -1,8 +1,8 @@
-<HTML>
-<HEAD>
-<script src="2.js"> </script>
-</HEAD>
-<BODY>
-asdasd
-</BODY>
+<HTML>
+<HEAD>
+<script src="2.js"> </script>
+</HEAD>
+<BODY>
+asdasd
+</BODY>
 </HTML>
\ No newline at end of file
diff --git a/com.ibm.wala.cast.js.test.data/examples-src/pages/windowx.html b/com.ibm.wala.cast.js.test.data/examples-src/pages/windowx.html
index 3f508f7f3..69c345cc3 100755
--- a/com.ibm.wala.cast.js.test.data/examples-src/pages/windowx.html
+++ b/com.ibm.wala.cast.js.test.data/examples-src/pages/windowx.html
@@ -1,33 +1,33 @@
-<HTML>
-
-<TITLE>Welcome!</TITLE>
-
-Hi
-
-<SCRIPT>
-
-var x = function _f1() {
-	
-};
-
-function _f2(x) {
-	x();
-}
-
-_f2(window.x);
-
-window.z = function _f3() {
-	
-};
-
-function _f4(x) {
-	x();
-}
-
-_f4(z);
-</SCRIPT>
-
-<BR>
-Welcome to our system
-
-</HTML>
+<HTML>
+
+<TITLE>Welcome!</TITLE>
+
+Hi
+
+<SCRIPT>
+
+var x = function _f1() {
+	
+};
+
+function _f2(x) {
+	x();
+}
+
+_f2(window.x);
+
+window.z = function _f3() {
+	
+};
+
+function _f4(x) {
+	x();
+}
+
+_f4(z);
+</SCRIPT>
+
+<BR>
+Welcome to our system
+
+</HTML>
diff --git a/com.ibm.wala.cast.js.test/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.js.test/.settings/org.eclipse.jdt.ui.prefs
index 9c3c1585e..805115168 100755
--- a/com.ibm.wala.cast.js.test/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.js.test/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:42 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:42 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.cast.js/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.js/.settings/org.eclipse.jdt.ui.prefs
index 626cb24ea..0e42ee3fd 100644
--- a/com.ibm.wala.cast.js/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.js/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:41 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:41 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.cast.test/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast.test/.settings/org.eclipse.jdt.ui.prefs
index a806a7e6f..836d36192 100644
--- a/com.ibm.wala.cast.test/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast.test/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Oct 11 09:43:08 EDT 2007
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Oct 11 09:43:08 EDT 2007
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.cast/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.cast/.settings/org.eclipse.jdt.ui.prefs
index 626cb24ea..0e42ee3fd 100644
--- a/com.ibm.wala.cast/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.cast/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:41 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:41 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.core.testdata/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.core.testdata/.settings/org.eclipse.jdt.ui.prefs
index 9c3c1585e..805115168 100644
--- a/com.ibm.wala.core.testdata/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.core.testdata/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:42 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:42 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs
index 626cb24ea..0e42ee3fd 100644
--- a/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.core.tests/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:41 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:41 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/pointers/package.html b/com.ibm.wala.core/src/com/ibm/wala/analysis/pointers/package.html
index b937e852a..4f694d709 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/analysis/pointers/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/pointers/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package defines utilities to help navigate pointer analysis results.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package defines utilities to help navigate pointer analysis results.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/package.html b/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/package.html
index f852eff56..08ebbaade 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/reflection/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides functions to deal with reflection.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides functions to deal with reflection.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/stackMachine/package.html b/com.ibm.wala.core/src/com/ibm/wala/analysis/stackMachine/package.html
index 0b82d713a..6503558a8 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/analysis/stackMachine/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/stackMachine/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides a layer to perform abstract interpretation over 
-the JVM stack machine.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides a layer to perform abstract interpretation over 
+the JVM stack machine.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/package.html b/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/package.html
index 4f99cead1..8b183d9ac 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/typeInference/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides intraprocedural type inference over the SSA form.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides intraprocedural type inference over the SSA form.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/cfg/cdg/package.html b/com.ibm.wala.core/src/com/ibm/wala/cfg/cdg/package.html
index da4bebb31..cfd9d9f95 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/cfg/cdg/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/cfg/cdg/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package supports a control-dependence graph.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package supports a control-dependence graph.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/cfg/package.html b/com.ibm.wala.core/src/com/ibm/wala/cfg/package.html
index b9a9fa919..15a1bfed0 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/cfg/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/cfg/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides control-flow graph utilities.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides control-flow graph utilities.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/classLoader/package.html b/com.ibm.wala.core/src/com/ibm/wala/classLoader/package.html
index 55019a652..83e6fdc71 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/classLoader/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/classLoader/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides functionality related to class loading and
-management of loaded classes.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides functionality related to class loading and
+management of loaded classes.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/client/package.html b/com.ibm.wala.core/src/com/ibm/wala/client/package.html
index f98f120a3..d368128cc 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/client/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/client/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides interfaces for some base utilities for use by WALA clients.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides interfaces for some base utilities for use by WALA clients.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/core/plugin/package.html b/com.ibm.wala.core/src/com/ibm/wala/core/plugin/package.html
index 742d9293e..baade6b24 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/core/plugin/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/core/plugin/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides a plugin class for Eclipse integration.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides a plugin class for Eclipse integration.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/package.html b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/package.html
index afba72209..5da8952bb 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides an RHS solver for IFDS problems.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides an RHS solver for IFDS problems.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/package.html
index a76867d9b..a632989ae 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/impl/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides some implementations of basic functions needed for 
-various call graph construction algorithms.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides some implementations of basic functions needed for 
+various call graph construction algorithms.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/package.html
index 16ed92dc7..193de36b4 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides basic interfaces and functions for call graph
-construction.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides basic interfaces and functions for call graph
+construction.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/package.html
index 5302990f5..042f7fb9b 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides RTA call graph
-construction.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides RTA call graph
+construction.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/package.html
index 1dc69b74a..30dceae83 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides the base layer for propagation-based call graph
-construction and pointer analysis.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides the base layer for propagation-based call graph
+construction and pointer analysis.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/rta/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/rta/package.html
index eb517d0ed..266e811df 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/rta/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/rta/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides CFA-style call graph
-construction and pointer analysis.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides CFA-style call graph
+construction and pointer analysis.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/package.html
index c408b1850..3aceae06a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/cfg/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package supports interprocedural control-flow graphs, and control-flow
-graphs specialized for context.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package supports interprocedural control-flow graphs, and control-flow
+graphs specialized for context.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/cha/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/cha/package.html
index 804798647..7e4eb268d 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/cha/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/cha/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides functionality related to class hierarchies.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides functionality related to class hierarchies.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/summaries/package.html b/com.ibm.wala.core/src/com/ibm/wala/ipa/summaries/package.html
index b24fa9f4d..9f80d86a9 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ipa/summaries/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/summaries/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides class hierarchy analysis.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides class hierarchy analysis.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/analysis/package.html b/com.ibm.wala.core/src/com/ibm/wala/ssa/analysis/package.html
index 9ffa9070d..b041aa9f4 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ssa/analysis/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/analysis/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides analyses over the WALA SSA IR.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides analyses over the WALA SSA IR.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/package.html b/com.ibm.wala.core/src/com/ibm/wala/ssa/package.html
index 35b3d586e..e91016c3d 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/ssa/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides the WALA SSA IR.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides the WALA SSA IR.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/types/package.html b/com.ibm.wala.core/src/com/ibm/wala/types/package.html
index 6ad58414f..0d759a757 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/types/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/types/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides abstractions for the Java type system.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides abstractions for the Java type system.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/bytecode/package.html b/com.ibm.wala.core/src/com/ibm/wala/util/bytecode/package.html
index d57e92c9d..51fe4ee36 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/bytecode/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/util/bytecode/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides miscellaneous utilities for manipulating bytecode.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides miscellaneous utilities for manipulating bytecode.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/config/package.html b/com.ibm.wala.core/src/com/ibm/wala/util/config/package.html
index ed43c5b16..fb02487df 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/config/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/util/config/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides miscellaneous utilities for configuration of the analysis.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides miscellaneous utilities for configuration of the analysis.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/package.html b/com.ibm.wala.core/src/com/ibm/wala/util/package.html
index 5c6996c69..d47552c58 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/util/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides miscellaneous utilities.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides miscellaneous utilities.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/warnings/package.html b/com.ibm.wala.core/src/com/ibm/wala/util/warnings/package.html
index 89637a1a3..1d5fe1ebb 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/warnings/package.html
+++ b/com.ibm.wala.core/src/com/ibm/wala/util/warnings/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides miscellaneous utilities for tracking analysis warnings.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides miscellaneous utilities for tracking analysis warnings.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.ide.tests/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.ide.tests/.settings/org.eclipse.jdt.ui.prefs
index 626cb24ea..0e42ee3fd 100644
--- a/com.ibm.wala.ide.tests/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.ide.tests/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:41 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:41 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.ide/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.ide/.settings/org.eclipse.jdt.ui.prefs
index d69507e78..8b037ea33 100644
--- a/com.ibm.wala.ide/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.ide/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Mon Jun 22 18:06:02 EDT 2009
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>
+#Mon Jun 22 18:06:02 EDT 2009
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>
diff --git a/com.ibm.wala.shrike/.settings/org.eclipse.jdt.ui.prefs b/com.ibm.wala.shrike/.settings/org.eclipse.jdt.ui.prefs
index 626cb24ea..0e42ee3fd 100644
--- a/com.ibm.wala.shrike/.settings/org.eclipse.jdt.ui.prefs
+++ b/com.ibm.wala.shrike/.settings/org.eclipse.jdt.ui.prefs
@@ -1,5 +1,5 @@
-#Thu Jan 03 11:24:41 EST 2008
-eclipse.preferences.version=1
-formatter_profile=_WALA
-formatter_settings_version=11
-instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
+#Thu Jan 03 11:24:41 EST 2008
+eclipse.preferences.version=1
+formatter_profile=_WALA
+formatter_settings_version=11
+instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
diff --git a/com.ibm.wala.util/src/com/ibm/wala/dataflow/graph/package.html b/com.ibm.wala.util/src/com/ibm/wala/dataflow/graph/package.html
index 1bd5e7ebb..3f72aacab 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/dataflow/graph/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/dataflow/graph/package.html
@@ -1,6 +1,6 @@
-<HTML>
-<BODY>
-This package provides a Killdall-style dataflow layer for a system
-of equations induced over a graph.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides a Killdall-style dataflow layer for a system
+of equations induced over a graph.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/fixpoint/package.html b/com.ibm.wala.util/src/com/ibm/wala/fixpoint/package.html
index e51017941..490c26451 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/fixpoint/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/fixpoint/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides general utilities for fixed-point solvers.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides general utilities for fixed-point solvers.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/collections/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/collections/package.html
index 099b8004e..b0fc4a2e1 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/collections/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/collections/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-Sets and collections
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+Sets and collections
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/debug/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/debug/package.html
index 2a49fff9c..2a7b14e65 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/debug/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/debug/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-Debugging utilities
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+Debugging utilities
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/graph/impl/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/graph/impl/package.html
index 9a5544bba..73d94c950 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/graph/impl/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/graph/impl/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-Graph implementations
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+Graph implementations
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/graph/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/graph/package.html
index b0f113f13..609243bda 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/graph/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/graph/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-Graph interfaces
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+Graph interfaces
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/package.html
index 60858c791..307dbc30d 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-Graph traversal algorithms
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+Graph traversal algorithms
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/heapTrace/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/heapTrace/package.html
index 3c18cc35a..1d9006017 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/heapTrace/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/heapTrace/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-This package provides a utility which analyzes heap usage by heap-walking via reflection.
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+This package provides a utility which analyzes heap usage by heap-walking via reflection.
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/intset/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/intset/package.html
index efc25c9a4..68dfad84d 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/intset/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/intset/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-BitVector and vector utilities
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+BitVector and vector utilities
+</BODY>
+</HTML>
diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/math/package.html b/com.ibm.wala.util/src/com/ibm/wala/util/math/package.html
index d71fad112..b379c27c0 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/math/package.html
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/math/package.html
@@ -1,5 +1,5 @@
-<HTML>
-<BODY>
-Math utilities
-</BODY>
-</HTML>
+<HTML>
+<BODY>
+Math utilities
+</BODY>
+</HTML>
