Bug#985765: openjdk-17: non-free PKCS#11 headers

[Matthias Klose]

Control: severity -1 important

setting the priority back, as the bug submitter has chosen.  Note this also
applies to openjdk-11.