Integrated: 8075: Improve Eclipse development experience

[Christoph Langer]

On Fri, 26 May 2023 20:49:41 GMT, Christoph Langer <clanger at openjdk.org> wrote:

> This PR merely updates the .classpath files to the state they would end up in when you do `Maven -> Update project ...` in current Eclipse.
> 
> There were only 2 manual changes:
> 1. I updated/corrected application/org.openjdk.jmc.flightrecorder.dependencyview/build.properties
> 2. I removed application/org.openjdk.jmc.browser.attach/.settings/org.eclipse.jdt.core.prefs because it gets generated upon Eclipse import anyway. Unfortunately it does not serve the use as a workaround for deselecting the `--release` compiler option.
> 
> In addition to that, I polished the devguide a little bit to hopefully make it more clear and stringent.

This pull request has now been integrated.

Changeset: 36c5d7db
Author:    Christoph Langer <clanger at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/36c5d7dbbc03ba3915756a08e0e3760b5ee8a7d2
Stats:     417 lines in 104 files changed: 215 ins; 177 del; 25 mod

8075: Improve Eclipse development experience

Reviewed-by: aptmac

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

PR: https://git.openjdk.org/jmc/pull/489