hg: jdk9/dev/langtools: 8145472: replace remaining java.io.File with java.nio.file.Path

[jonathan.gibbons at oracle.com]

Changeset: 527e819dbc95
Author:    jjg
Date:      2016-02-23 16:38 -0800
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/527e819dbc95

8145472: replace remaining java.io.File with java.nio.file.Path
Reviewed-by: vromero

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Infer.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Arguments.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/CommandLine.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/OptionHelper.java