Fixes Java version bug