code: private Structure fixStructureName(Structure s, String file) {
  
  		if ( s.getName() != null && (! s.getName().equals("")))
  			return s;
  
  		s.setName(s.getPDBCode());
  
  		if ( s.getName() == null || s.getName().equals("")){
  			File f = new File(file);
  			s.setName(f.getName());
  		}
  		return s;
  	}
docs: apply a number of rules to fix the name of the structure if it did not get set during loading.
  
  @param s
  @param file
  @return