RFR: 8251: Add missing hook in plugin from Jolokia discovery [v2]

[Martin Skarsaune]

On Thu, 5 Sep 2024 20:04:48 GMT, Alex Macdonald <aptmac at openjdk.org> wrote:

>> Martin Skarsaune has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   JMC-8251: Adjust indentation in plugin.xml
>
> application/org.openjdk.jmc.jolokia/plugin.xml line 53:
> 
>> 51:       </page>
>> 52:    </extension>
>> 53:   <extension
> 
> I think this line needs 1 more space

I think so too .... :facepalm:

-------------

PR Review Comment: https://git.openjdk.org/jmc/pull/583#discussion_r1746638236