private void add(String world,PermissionHolder holder,String permission){
  try {
    if (world != null && !world.equals("")) {
      holder.setPermission(permission,true,server,world);
    }
 else {
      holder.setPermission(permission,true,server);
    }
  }
 catch (  ObjectAlreadyHasException ignored) {
  }
  save(holder);
}

private void add ( String world , PermissionHolder holder , String permission ) { try { if ( world != null && ! world . equals ( "" ) ) { holder . setPermission ( permission , true , server , world ) ; } else { holder . setPermission ( permission , true , server ) ; } } catch ( ObjectAlreadyHasException ignored ) { } save ( holder ) ; }
generic method to add a permission to a holder
