hg: jdk9/sandbox/langtools: Tweaking PlatformProvider API as per Jon's comments

[jan.lahoda at oracle.com]

Changeset: 2bc0652a1c69
Author:    jlahoda
Date:      2015-06-17 10:09 +0200
URL:       http://hg.openjdk.java.net/jdk9/sandbox/langtools/rev/2bc0652a1c69

Tweaking PlatformProvider API as per Jon's comments

! src/jdk.compiler/share/classes/META-INF/services/com.sun.tools.javac.platform.PlatformProviderFactory
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Arguments.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/platform/JDKPlatformProviderFactory.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/platform/PlatformProvider.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/platform/PlatformProviderFactory.java
! test/tools/javac/platform/PlatformProviderTest.java