mini-dinstall log notice (ERROR)

[Mini-Dinstall]

['  File "/home/groups/pkg-java/mini-dinstall", line 915, in _install_changefile_internal\n    do_rename(oldname, newname)\n', '  File "/home/groups/pkg-java/mini-dinstall", line 174, in do_rename\n    os.rename(source, target)\n']