From 9b8236dd7499510577c32f0d87dfd52d34f6b023 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 2 Oct 2021 20:51:58 +0200 Subject: chore: fix Java 17 Sonar warnings Had to disable code coverage measurement in the Quality Gate, we should switch it on again once we have a complete test suite. --- .../org/eclipse/viatra/solver/language/web/CacheControlFilter.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'language-web/src') diff --git a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java index 41b8e5bf..a1d086c4 100644 --- a/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java +++ b/language-web/src/main/java/org/eclipse/viatra/solver/language/web/CacheControlFilter.java @@ -34,9 +34,7 @@ public class CacheControlFilter implements Filter { @Override public void doFilter(ServletRequest request, ServletResponse response, FilterChain chain) throws IOException, ServletException { - if (request instanceof HttpServletRequest && response instanceof HttpServletResponse) { - var httpRequest = (HttpServletRequest) request; - var httpResponse = (HttpServletResponse) response; + if (request instanceof HttpServletRequest httpRequest && response instanceof HttpServletResponse httpResponse) { if (CACHE_URI_PATTERN.matcher(httpRequest.getRequestURI()).matches()) { httpResponse.setHeader(CACHE_CONTROL_HEADER, CACHE_CONTROL_CACHE_VALUE); httpResponse.setDateHeader(EXPIRES_HEADER, System.currentTimeMillis() + EXPIRY * 1000L); -- cgit v1.2.3-54-g00ecf