muvitor: java version 1.7