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>
4 files changed