small fixes
[mir.git] / source / mir / config / MirPropertiesConfiguration.java
index 125dff0..71d4132 100755 (executable)
@@ -204,7 +204,7 @@ public class MirPropertiesConfiguration extends ExtendedProperties {
    */
   public Object getProperty(String key) {
     if (super.getProperty(key) == null) {
-      return new String();
+      return "";
     }
 
     return super.getProperty(key);