From be76c5b7db9777a14096e98dddeae4f9a8d017ea Mon Sep 17 00:00:00 2001
From: akwizgran <michael@briarproject.org>
Date: Mon, 1 Jul 2019 14:38:28 +0100
Subject: [PATCH] Add safety annotations.

---
 .../org/briarproject/briar/android/LevelRaisingHandler.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/briar-android/src/main/java/org/briarproject/briar/android/LevelRaisingHandler.java b/briar-android/src/main/java/org/briarproject/briar/android/LevelRaisingHandler.java
index 347ae1749..6f7ba6705 100644
--- a/briar-android/src/main/java/org/briarproject/briar/android/LevelRaisingHandler.java
+++ b/briar-android/src/main/java/org/briarproject/briar/android/LevelRaisingHandler.java
@@ -1,13 +1,19 @@
 package org.briarproject.briar.android;
 
+import org.briarproject.bramble.api.nullsafety.NotNullByDefault;
+
 import java.util.logging.Handler;
 import java.util.logging.Level;
 import java.util.logging.LogRecord;
 
+import javax.annotation.concurrent.Immutable;
+
 /**
  * Log handler that raises all records at or above a given source level to a
  * given destination level. This affects the level seen by subsequent handlers.
  */
+@Immutable
+@NotNullByDefault
 class LevelRaisingHandler extends Handler {
 
 	private final Level dest;