diff -r 2fdc9cc89502 -r f9bf183447d1 org/sonews/config/FileConfig.java
--- a/org/sonews/config/FileConfig.java	Wed Jul 22 14:04:05 2009 +0200
+++ b/org/sonews/config/FileConfig.java	Sun Aug 29 17:03:21 2010 +0200
@@ -161,6 +161,7 @@
    * @param key
    * @param value
    */
+  @Override
   public void set(final String key, final String value)
   {
     settings.setProperty(key, value);