add support for switching JVM depending on the project under repair / analysis #1247
Description
right now, we always use the JVM (the one of Docker), but we could be able to identify the most appropriate JVM based on a lightweight analysis of the build files.