tree 9068a8f84e0ea66d29628beb25bf17ca603b8806
parent 24f35ff6a1554f75592f12c1450a8ad27642b238
author Kris De Volder <kdevolder@pivotal.io> 1600290054 -0700
committer Sarika Sinha <sarika.sinha@in.ibm.com> 1600752204 -0400

Bug 567046: allow disable HCR via launch attribute

https://bugs.eclipse.org/bugs/show_bug.cgi?id=567046

Amended: Add javadoc to launch attribute constant.
Amended: Move launch attribute into public api (JDIDebugModel).
Amended: Version bump to 3.17. Add @since tag.
Amended: Add plugin id as prefix of launch attribute name.

Change-Id: I8bc078e611125f2e04b7eb427e5dbc81b678a76b
Signed-off-by: Kris De Volder <kdevolder@pivotal.io>