From c9bebf7020ec8469f2c938b69df12919cdd73531 Mon Sep 17 00:00:00 2001
From: =?utf8?q?David=20=E2=80=98Bombe=E2=80=99=20Roden?=
 <bombe@freenetproject.org>
Date: Mon, 8 Sep 2008 08:38:16 +0200
Subject: [PATCH] Add annotation to suppress warning about potential null
 pointer.

---
 src/de/todesbaum/jsite/gui/NodeManagerPage.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/de/todesbaum/jsite/gui/NodeManagerPage.java b/src/de/todesbaum/jsite/gui/NodeManagerPage.java
index 1d99369..951a912 100644
--- a/src/de/todesbaum/jsite/gui/NodeManagerPage.java
+++ b/src/de/todesbaum/jsite/gui/NodeManagerPage.java
@@ -359,6 +359,7 @@ public class NodeManagerPage extends TWizardPage implements ListSelectionListene
 	/**
 	 * {@inheritDoc}
 	 */
+	@SuppressWarnings("null")
 	public void valueChanged(ListSelectionEvent e) {
 		Object source = e.getSource();
 		if (source instanceof JList) {
-- 
2.7.4