muvitor: corrected build errors due to Java version