From f9dabf04fcf7605ddc967f9d5ccd6f1b5a140595 Mon Sep 17 00:00:00 2001
From: Michael Herzberg <mail@michael-herzberg.de>
Date: Tue, 6 Oct 2015 22:44:45 +0200
Subject: [PATCH] Allow overriding of getScriptFromUrl.

---
 .../com/ibm/wala/cast/js/html/DomLessSourceExtractor.java       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/DomLessSourceExtractor.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/DomLessSourceExtractor.java
index e9b240d0c..a8027eefe 100644
--- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/DomLessSourceExtractor.java
+++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/DomLessSourceExtractor.java
@@ -234,7 +234,7 @@ public class DomLessSourceExtractor extends JSSourceExtractor {
       }
     }
 
-    private void getScriptFromUrl(String urlAsString, ITag scriptTag) throws IOException, MalformedURLException {
+    protected void getScriptFromUrl(String urlAsString, ITag scriptTag) throws IOException, MalformedURLException {
       URL scriptSrc = new URL(entrypointUrl, urlAsString);
       Reader scriptInputStream;
       try {