positionField.setText("" + position);
}
public void read(File logFile, boolean active) throws IOException {
RandomAccessFile raf = new RandomAccessFile(logFile, "r");
TransactionLogHeader header = new TransactionLogHeader(raf.getChannel(), 0L);
raf.close();
if (log.isDebugEnabled()) { log.debug("read header: " + header); }
setLogFile(logFile);
setTimestamp(header.getTimestamp());
setState(header.getState());
setPosition(header.getPosition());
Font font;
if (active) {
font = logFileField.getFont().deriveFont(Font.BOLD);
}