super((size << 1) + 1);
super(size);
		private Properties(int size, Dictionary props) {			super((size << 1) + 1);			if (props != null) {				synchronized (props) {					Enumeration keysEnum = props.keys();					while (keysEnum.hasMoreElements()) {						Object key = keysEnum.nextElement();						if (key instanceof String) {							String header = (String) key;							setProperty(header, props.get(header));						}					}				}			}		}