Made GlobalResourceHandler serializable (#9817)

Change-Id: Iae2ac641275a7f16b0bde2184c3f42f9f059f890

diff --git a/server/src/com/vaadin/server/GlobalResourceHandler.java b/server/src/com/vaadin/server/GlobalResourceHandler.java
index c968dba066f68c11c4b807a12c68c41d665f68c2..ad276dc77aa5501c4881b198b47afab09f332671 100644 (file)
--- a/server/src/com/vaadin/server/GlobalResourceHandler.java
+++ b/server/src/com/vaadin/server/GlobalResourceHandler.java
@@ -59,7 +59,7 @@ public class GlobalResourceHandler implements RequestHandler {
     private int nextLegacyId = 0;
 
     // APP/global/[uiid]/[type]/[id]
-    private final Matcher matcher = Pattern.compile(
+    private static final Matcher matcher = Pattern.compile(
             "^/?" + ApplicationConstants.APP_REQUEST_PATH
                     + RESOURCE_REQUEST_PATH + "(\\d+)/(([^/]+)(/.*))").matcher(
             "");