public class TestServlet extends HttpServlet {
	protected void doGet(HttpServletRequest request, HttpServletResponse response)
	throws ServletException, IOException {
		// BAD: a URL from a remote source is opened with URL#openStream()
        URL url = new URL(request.getParameter("url"));
        InputStream inputStream = new URL(url).openStream();
	}
}

@@ -40,17 +40,20 @@
 rvlet %7B%0A
-%09
+    
 protecte
@@ -123,17 +123,20 @@
 sponse)%0A
-%09
+    
 throws S
@@ -170,10 +170,16 @@
 n %7B%0A
-%09%09
+        
 // B
@@ -362,9 +362,12 @@
 ();%0A
-%09
+    
 %7D%0A%7D%0A

Fix whitespace issues in OpenStream.java