OFProtocol.java bugfix