This commit was manufactured by cvs2svn to create tag 'OLD_TS_EXPLORER'.