chore: Allow custom JDK version for Dev Server

[lqiu96]

Thank you for your interest in contributing! For general guidelines, please refer to the contributing guide.

Before submitting a pull request, please make sure to:

• [x] Identify an existing issue to associate with your proposed change, or file a new issue.
• [x] Describe any implementation plans in the issue and wait for a review from the repository maintainers.

Allow users to allow a pass in the JDK version as part of the DevServer's Run Configurations. This may be different from the JDK specified in JAVA_HOME. By default, this plugin should generally be using the java.specification.version System Property. If needed, customers can use the Run Configuration's JDK version to override.

Fixes #916 🛠️

[lqiu96]

@blakeli0 @suztomo Can you give this PR an initial review? Talked with Etan and I think this approach is simple enough to allow customization and fix their issue.

[suztomo]

Few nice-to-fixes.

[lqiu96]

Setting automerge and will release once checks are green.