/* replication interface */ private PadIntData generatePadIntData(ServerPadInt padInt) { return new PadIntData(padInt.log.getReadData(), padInt.log.getWriteData(), padInt.log.getTentativeData(), padInt.log.getTentativeReadData(), padInt.log.getTentativeValueData(), padInt.getValueData()); }