bug #4224 Empty table names when a table is "inuse"

Not too sure whether `copyTableProperties()` method should go in DatabaseInterface.class.php or Util.class.php.