[BUG #7231] removed obsolete code