Dear all, Would you help me to review the following tiny fix? Which is used to update the copyright info for patch https://hg.openjdk.java.net/jdk/jdk/rev/3f8d03880bf5
Bug: https://bugs.openjdk.java.net/browse/JDK-8243539 Webrev: https://cr.openjdk.java.net/~lzang/BuddyLiao/launcher/webrev/ Thanks, Bin
