Changed Min-Java-Version and Java-Version semantics