public static String quote(File input){
  return quote(input.getAbsolutePath());
}

public static String quote ( File input ) { return quote ( input . getAbsolutePath ( ) ) ; }
quotes the absolute path of the given file iff it contains whitespace .
