[GeoNetwork-users] Deleting a record doesn't delete private resources associated with the record

Dear GN developers/users,

I notice that when I delete record form GN it leaves behind the data
directory assocaited with a record which holds thumbnails and files
for download etc. For example I deleted record number 200 but the directory/download file:

$GN_Root/web/geonetwork/WEB-INF/data/00200-00299/200/private/downloadfile.txt
still existed.

My concern with this is that if a new record is allocated later with id=200 it could get
mixed up with resource files left from the deleted record. Shouldn't everthing be deleted
at first?

FYI I am using the BlueNet version of Geonetwork version number SVN2461 released
10/3/9.

Andrew Walsh
RAN-DODC-Australia