hg: jdk/submit: 8245847: Update Profile.java to not require per-release updates

[jonathan.gibbons at oracle.com]

Changeset: 1bda088f2ed7
Author:    jjg
Date:      2020-05-26 13:25 -0700
URL:       https://hg.openjdk.java.net/jdk/submit/rev/1bda088f2ed7

8245847: Update Profile.java to not require per-release updates
Reviewed-by: darcy

! src/jdk.compiler/share/classes/com/sun/tools/javac/jvm/Profile.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Arguments.java
! test/langtools/tools/javac/profiles/ProfileOptionTest.java