diff -r 60c237bb677a -r 146b3275b792 org/sonews/config/FileConfig.java
--- a/org/sonews/config/FileConfig.java	Sat May 01 18:51:57 2010 +0200
+++ b/org/sonews/config/FileConfig.java	Sun May 09 12:38:46 2010 +0200
@@ -161,6 +161,7 @@
    * @param key
    * @param value
    */
+  @Override
   public void set(final String key, final String value)
   {
     settings.setProperty(key, value);