14151617181920
return HistoryManager.class; } @Override public Session openSession() { return new DefaultHistoryManager(); }