specs.md fix [[en:wiki:Java_bytecode]]