Fixing broadcast message problems and running prettier:format

src/main/java/at/ac/uibk/gitsearch/config/SecurityConfiguration.java

@@ -116,6 +116,7 @@ public class SecurityConfiguration extends WebSecurityConfigurerAdapter {
         strictHttpFirewall.setAllowSemicolon(true);
         return strictHttpFirewall;
     }
+
     @Override
     public void configure(WebSecurity web) {
         web

src/main/java/at/ac/uibk/gitsearch/repository/AuditEventConverter.java

@@ -83,9 +83,8 @@ public class AuditEventConverter {
                     WebAuthenticationDetails authenticationDetails = (WebAuthenticationDetails) entry.getValue();
                     results.put("remoteAddress", authenticationDetails.getRemoteAddress());
                     String sessionId = authenticationDetails.getSessionId();
-                    if(sessionId==null)
-                    	sessionId = "unknown";
-					results.put("sessionId", sessionId);
+                    if (sessionId == null) sessionId = "unknown";
+                    results.put("sessionId", sessionId);
                 } else {
                     results.put(entry.getKey(), Objects.toString(entry.getValue()));
                 }

src/main/java/at/ac/uibk/gitsearch/service/MessageService.java

@@ -36,8 +36,7 @@ public class MessageService {
     BroadCastMessageDTO[] messages = null;
 
     public BroadCastMessageDTO[] getMessages() {
-    	if(messages==null)
-    		return new BroadCastMessageDTO[] {};
+        if (messages == null) return new BroadCastMessageDTO[] {};
         return messages.clone();
     }
 

src/main/java/at/ac/uibk/gitsearch/service/dto/BroadCastMessageDTO.java

@@ -15,4 +15,5 @@ public class BroadCastMessageDTO {
     public String target_path; // "*/welcome",
     public String broadcast_type; // "banner",
     public boolean dismissable; // false
+    public int[] target_access_levels; // [10, 30]
 }

src/main/webapp/app/shared/service/message-service.ts

@@ -15,6 +15,7 @@ export interface BroadCastMessage {
   target_path: string; // "*/welcome",
   broadcast_type: string; // "banner",
   dismissable: boolean; // false
+  target_access_levels: number[];
 }
 
 /**