hg: jdk/sandbox: 8231443: Add java.io.Serial to list of platform annotations for annotation processing

[chris.hegarty at oracle.com]

Changeset: d29f0181ba42
Author:    darcy
Date:      2019-09-25 13:37 -0700
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/d29f0181ba42

8231443: Add java.io.Serial to list of platform annotations for annotation processing
Reviewed-by: jjg

! src/jdk.compiler/share/classes/com/sun/tools/javac/processing/JavacProcessingEnvironment.java