[PATCH] Fix Shark build in JDK9

[Erik Joelsson]

On 2015-01-07 17:11, Roman Kennke wrote:
> Hi Erik,
>
> Do you have a bug for this?
> No.
>
> I haven't pushed any changes to JDK in a while. Is it possible in the
> meantime for me to create my own bugs? Otherwise, please file one for
> me :-)
You should be able to log in to https://bugs.openjdk.java.net and create 
bugs since you have an OpenJDK identity.

/Erik
> Regards,
> Roman
>
>