org/sonews/config/FileConfig.java
changeset 33 f9bf183447d1
parent 3 2fdc9cc89502
     1.1 --- a/org/sonews/config/FileConfig.java	Wed Jul 22 14:04:05 2009 +0200
     1.2 +++ b/org/sonews/config/FileConfig.java	Sun Aug 29 17:03:21 2010 +0200
     1.3 @@ -161,6 +161,7 @@
     1.4     * @param key
     1.5     * @param value
     1.6     */
     1.7 +  @Override
     1.8    public void set(final String key, final String value)
     1.9    {
    1.10      settings.setProperty(key, value);