private String convertName(String name){
  if (name.indexOf(WM_EXT) > 0) {
    return name.substring(0,name.indexOf(WM_EXT)) + VM_EXT;
  }
 else {
    return name;
  }
}

private String convertName ( String name ) { if ( name . indexOf ( WM_EXT ) > 0 ) { return name . substring ( 0 , name . indexOf ( WM_EXT ) ) + VM_EXT ; } else { return name ; } }
simple extension conversion of . wm to . vm
