edb3955 Fix vendor version for JDK 13

1 file Authored by Severin Gehwolf 4 years ago, Committed by pmikova 4 years ago,
    Fix vendor version for JDK 13
    
        
file modified
+9 -5