KeyStroke[] array = new KeyStroke[size()];
if (set.size() == 0) return null; KeyStroke[] array = new KeyStroke[set.size()];
  public KeyStroke[] allKeys()  {    Set set = new HashSet();    if (parent != null)			set.addAll(Arrays.asList(parent.allKeys()));    set.addAll(inputMap.keySet());    KeyStroke[] array = new KeyStroke[size()];    return (KeyStroke[]) set.toArray(array);  }