00001 package org.gridlab.gat;
00002
00003 import java.util.Hashtable;
00004 import java.util.Map;
00005 import java.util.jar.Attributes;
00006
00007
00008
00009
00010
00011
00012 public class Preferences extends Hashtable {
00013
00014
00015
00016
00017 public Preferences() {
00018 super();
00019 }
00020
00021
00022
00023
00024 public Preferences(Map map) {
00025 super(map);
00026 }
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040
00041
00042
00043
00044
00045
00046
00047
00048
00049
00050
00051
00052
00053
00054
00055 public Object put(Object key, Object value) {
00056
00057
00058
00059
00060
00061
00062
00063 if ((key instanceof Attributes.Name) && (value instanceof String)) {
00064 return super.put(key, value);
00065 } else {
00066 return super.put(new Attributes.Name((String) key), (String) value);
00067 }
00068 }
00069 }