Store org.eclipse.jdt.core.prefs in repository

[LorenzoBettini]

It is better to have org.eclipse.jdt.core.prefs in the Git repository, with an explicit setting for the Java compiler to target 1.8 (for compliance from the execution environment JavaSE-1.8), otherwise, if using Java 11 for running Eclipse, the compiler will generate bytecode for Java 11 and then you won't be able to run tests from Eclipse, with errors of the shape

java.lang.UnsupportedClassVersionError:
org/pitest/pitclipse/runner/model/ModelBuilderTest has been compiled by
a more recent version of the Java Runtime (class file version 55.0),
this version of the Java Runtime only recognizes class file versions up
to 52.0

[codecov[bot]]

Codecov Report

Merging #93 into master will not change coverage. The diff coverage is n/a.

@@            Coverage Diff            @@
##             master      #93   +/-   ##
=========================================
  Coverage     85.02%   85.02%           
  Complexity      299      299           
=========================================
  Files            45       45           
  Lines          1242     1242           
  Branches         88       88           
=========================================
  Hits           1056     1056           
  Misses          126      126           
  Partials         60       60

Impacted Files	Coverage Δ	Complexity Δ
...test/pitclipse/runner/config/PitConfiguration.java	100% <ø> (ø)	12 <0> (ø)	:arrow_down:

---

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 90bbda3...7830465. Read the comment docs.

[echebbi]

Useful, thanks!