private static final File[] encode(String src){
  if (src == null || src.length() == 0) {
    return (new File[0]);
  }
  StringTokenizer tokenizer=new StringTokenizer(src,";");
  File[] dirs=new File[tokenizer.countTokens()];
  for (int i=0; i < dirs.length; i++) {
    dirs[i]=new File(tokenizer.nextToken());
  }
  return dirs;
}

private static final File [ ] encode ( String src ) { if ( src == null || src . length ( ) == 0 ) { return ( new File [ 0 ] ) ; } StringTokenizer tokenizer = new StringTokenizer ( src , ";" ) ; File [ ] dirs = new File [ tokenizer . countTokens ( ) ] ; for ( int i = 0 ; i < dirs . length ; i ++ ) { dirs [ i ] = new File ( tokenizer . nextToken ( ) ) ; } return dirs ; }
splits the string into an array
