OFStateManager: log gentable registration
OFStateManager: change gentable name to a simple string