From c9bdc989358d464bf9cfadc2d46eed06d406c4e4 Mon Sep 17 00:00:00 2001
From: dreis2211 <christoph.dreis@freenet.de>
Date: Fri, 10 Aug 2018 18:00:58 +0200
Subject: [PATCH] Add missing @Override

Closes gh-14043
---
 .../servlet/OAuth2ResourceServerWebSecurityConfiguration.java    | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spring-boot-project/spring-boot-autoconfigure/src/main/java/org/springframework/boot/autoconfigure/security/oauth2/resource/servlet/OAuth2ResourceServerWebSecurityConfiguration.java b/spring-boot-project/spring-boot-autoconfigure/src/main/java/org/springframework/boot/autoconfigure/security/oauth2/resource/servlet/OAuth2ResourceServerWebSecurityConfiguration.java
index 60ec434c1e..14e51b04d2 100644
--- a/spring-boot-project/spring-boot-autoconfigure/src/main/java/org/springframework/boot/autoconfigure/security/oauth2/resource/servlet/OAuth2ResourceServerWebSecurityConfiguration.java
+++ b/spring-boot-project/spring-boot-autoconfigure/src/main/java/org/springframework/boot/autoconfigure/security/oauth2/resource/servlet/OAuth2ResourceServerWebSecurityConfiguration.java
@@ -35,6 +35,7 @@ class OAuth2ResourceServerWebSecurityConfiguration {
 	@ConditionalOnBean(JwtDecoder.class)
 	static class OAuth2WebSecurityConfigurerAdapter extends WebSecurityConfigurerAdapter {
 
+		@Override
 		protected void configure(HttpSecurity http) throws Exception {
 			http.authorizeRequests().anyRequest().authenticated().and().oauth2()
 					.resourceServer().jwt();