DefaultRichTextRenderer.getFontNames() throws ClassCastException under openjdk 10

Description

DefaultRichTextRenderer.getFontNames() throws ClassCastException when run using openjdk 10:

Environment

None

Status

Assignee

Tim Anderson

Reporter

Paul Stadler

Labels

None

Components

Fix versions

Affects versions

Priority

Minor
Configure