// read RMI header
int header = din.readInt();
if (header != RMI_HEADER) {
// rmi.82=Unknown header: {0}
throw new UnmarshalException(Messages.getString("rmi.82", header)); //$NON-NLS-1$
}
// read RMI protocol version
short ver = din.readShort();
if (ver != PROTOCOL_VER) {
// rmi.83=Unknown RMI protocol version: {0}
throw new UnmarshalException(Messages.getString("rmi.83", ver)); //$NON-NLS-1$
}
} catch (IOException ioe) {
// rmi.84=Unable to read RMI protocol header
throw new UnmarshalException(Messages.getString("rmi.84"), //$NON-NLS-1$
ioe);
}
if (tcpTransportLog.isLoggable(RMILog.VERBOSE)) {
// rmi.85=Using protocol version {0}