public Properties stripPrefix(Properties props){
  Properties result=new Properties();
  for (  String name : props.stringPropertyNames()) {
    validateNamespaced(name);
    String val=props.getProperty(name);
    name=stripPrefix(name);
    result.setProperty(name,val);
  }
  return result;
}

public Properties stripPrefix ( Properties props ) { Properties result = new Properties ( ) ; for ( String name : props . stringPropertyNames ( ) ) { validateNamespaced ( name ) ; String val = props . getProperty ( name ) ; name = stripPrefix ( name ) ; result . setProperty ( name , val ) ; } return result ; }
strips the prefix for this namespace from all property names
