fixed bug in java-version