Java运行的是_____的二进制格式的类文件。