SpoonLabs / astor

Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
https://hal.archives-ouvertes.fr/hal-01321615/document
GNU General Public License v2.0
205 stars 107 forks source link

Incorrect process of `java_home` #328

Closed JakkuSakura closed 3 years ago

JakkuSakura commented 3 years ago

Mmy java_home is somehow set to /home/jack/.gradle/caches/modules-2/files-2.1/com.jetbrains/jbre/jbrx-8u202-linux-x64-b1483.24/extracted/jre and I don't have control over it, but the javalocationbin is set to /home/jack/.gradle/caches/modules-2/files-2.1/com.jetbrains/jbre/jbrx-8u202-linux-x64-b1483.24/extracted/bin, which is not the case. It should be ....../jre/bin

if (location.getName().equals("jre")) {
    javahome = location.getParent() + File.separator + "bin";
    File javalocationbin = new File(javahome);
    if (!javalocationbin.exists()) {
        System.err.println("Problems to generate java jdk path");
        return false;
    }
}
JakkuSakura commented 3 years ago

Update: I noticed that the jre structure is different.

martinezmatias commented 3 years ago

Hi @qiujiangkun

Update: I noticed that the jre structure is different.

Fine.

Regards Matias

martinezmatias commented 3 years ago

Hi @qiujiangkun

Update: I noticed that the jre structure is different.

Fine.

Regards Matias