Author: nextgens
Date: 2008-08-18 18:04:49 +0000 (Mon, 18 Aug 2008)
New Revision: 22016
Modified:
trunk/freenet/src/freenet/node/updater/UpdateOverMandatoryManager.java
Log:
Add more @overrides
Modified: trunk/freenet/src/freenet/node/updater/UpdateOverMandatoryManager.java
===================================================================
--- trunk/freenet/src/freenet/node/updater/UpdateOverMandatoryManager.java
2008-08-18 18:04:05 UTC (rev 22015)
+++ trunk/freenet/src/freenet/node/updater/UpdateOverMandatoryManager.java
2008-08-18 18:04:49 UTC (rev 22016)
@@ -383,6 +383,7 @@
super(false, null, null, null, null,
UserAlert.CRITICAL_ERROR, true, null, false, null);
}
+ @Override
public HTMLNode getHTMLText() {
HTMLNode div = new HTMLNode("div");
@@ -434,6 +435,7 @@
return L10n.getString("PeersSayKeyBlownAlert."+key,
pattern, value);
}
+ @Override
public String getText() {
StringBuffer sb = new StringBuffer();
sb.append(l10n("intro")).append("\n\n");
@@ -477,14 +479,17 @@
return sb.toString();
}
+ @Override
public String getTitle() {
return l10n("titleWithCount", "count",
Integer.toString(nodesSayKeyRevoked.size()));
}
+ @Override
public void isValid(boolean validity) {
// Do nothing
}
+ @Override
public String getShortText() {
return l10n("short");
}
@@ -603,6 +608,7 @@
Logger.minor(this, "Message
sent, data soon");
}
+ @Override
public String toString() {
return super.toString() +
"("+uid+":"+source.getPeer()+")";
}
@@ -977,6 +983,7 @@
Logger.minor(this, "Message
sent, data soon");
}
+ @Override
public String toString() {
return super.toString() +
"("+uid+":"+source.getPeer()+")";
}