code: private String[] getAlternativeNames(String name) {
  		String altNames[] = null;
  		DeprecatedKeyInfo keyInfo = null;
  		DeprecationContext cur = deprecationContext.get();
  		String depKey = cur.getReverseDeprecatedKeyMap().get(name);
  		if(depKey != null) {
  			keyInfo = cur.getDeprecatedKeyMap().get(depKey);
  			if(keyInfo.newKeys.length > 0) {
  				if(getProps().containsKey(depKey)) {
  					//if deprecated key is previously set explicitly
  					List<String> list = new ArrayList<String>();
  					list.addAll(Arrays.asList(keyInfo.newKeys));
  					list.add(depKey);
  					altNames = list.toArray(new String[list.size()]);
  				}
  				else {
  					altNames = keyInfo.newKeys;
  				}
  			}
  		}
  		return altNames;
  	}
docs: Returns alternative names (non-deprecated keys or previously-set deprecated keys)
  for a given non-deprecated key.
  If the given key is deprecated, return null.
  
  @param name property name.
  @return alternative names.