add close() method to close GraphDBConnection via GraphDBOperation, and update interface class's definition
2 files changed