Migrate to de
SEAL
ed version of CORAL.
Add
close()
method to put final information on run stop and to avoid possible exception in the destructor.
Always disconnect with database at destructor and re-connect in the close() method.