package org.basex.query.up.primitives;
import static org.basex.query.util.Err.*;
import java.io.*;
import org.basex.core.cmd.*;
<BUG>import org.basex.io.*;</BUG>
import org.basex.query.*;
import org.basex.query.func.*;
import org.basex.util.*;
public class DBRestore extends NameUpdate {
<BUG>public final IOFile backup;

public DBRestore(final String name, final IOFile backup, final QueryContext qc,
</BUG>
final InputInfo info) {

package org.basex.query.up.primitives;
import static org.basex.query.util.Err.*;
import java.io.*;
import org.basex.core.cmd.*;
import org.basex.query.*;
import org.basex.query.func.*;
import org.basex.util.*;
public class DBRestore extends NameUpdate {
public final String backup;
public DBRestore(final String name, final String backup, final QueryContext qc,
final InputInfo info) {
