RFR: 7167: Agent Plugin [v6]

[Brice Dutheil]

On Mon, 7 Jun 2021 09:53:36 GMT, Brice Dutheil <github.com+803621+bric3 at openjdk.org> wrote:

>> Joshua Matsuoka has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Fix rcp feature to use new agent plugin name
>
> application/org.openjdk.jmc.console.agent/plugin.xml line 60:
> 
>> 58:     <extension point="org.eclipse.ui.editors">
>> 59:         <editor
>> 60:             class="org.openjdk.jmc.console.ext.agent.editor.AgentEditor"
> 
> Shouldn't it be `org.openjdk.jmc.console.agent.editor.AgentEditor` ?

I ran a modified version, and indeed that's the correct change.

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

PR: https://git.openjdk.java.net/jmc/pull/226