Implementation of the new close() method of SyntacticResource interface