hg: jdk/sandbox: 8246290: Refine specification of javax.lang.model.element.Modifier::toString

[chris.hegarty at oracle.com]

Changeset: 183cf484a240
Author:    darcy
Date:      2020-06-02 09:54 -0700
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/183cf484a240

8246290: Refine specification of javax.lang.model.element.Modifier::toString
Reviewed-by: vromero, jjg

! src/java.compiler/share/classes/javax/lang/model/element/Modifier.java