GUAC-1378: Ensure HTML patch resources are closed after reading.

guacamole/src/main/java/org/glyptodon/guacamole/net/basic/rest/patch/PatchRESTService.java

@@ -70,13 +70,22 @@ public class PatchRESTService {
 
         StringBuilder contents = new StringBuilder();
 
-        char buffer[] = new char[8192];
-        int length;
-
         // Read entire resource into StringBuilder one chunk at a time
         Reader reader = new InputStreamReader(resource.asStream(), "UTF-8");
-        while ((length = reader.read(buffer)) != -1) {
+        try {
-            contents.append(buffer, 0, length);
+
+            char buffer[] = new char[8192];
+            int length;
+
+            while ((length = reader.read(buffer)) != -1) {
+                contents.append(buffer, 0, length);
+            }
+
+        }
+
+        // Ensure resource is always closed
+        finally {
+            reader.close();
         }
 
         return contents.toString();