-package com.sun.vlsi.chips.marina.test;
+package edu.berkeley.fleet.marina;
/* -*- tab-width: 4 -*- */
import java.util.ArrayList;
import java.util.List;
import com.sun.electric.tool.simulation.test.*;
-import com.sun.vlsi.chips.marina.test.Marina.Ilc;
-import com.sun.vlsi.chips.marina.test.CmdArgs;
-import com.sun.vlsi.chips.marina.test.CmdArgs.Mode;
+import edu.berkeley.fleet.marina.Marina.Ilc;
+import edu.berkeley.fleet.marina.CmdArgs;
+import edu.berkeley.fleet.marina.CmdArgs.Mode;
import edu.berkeley.fleet.api.Dock;
import edu.berkeley.fleet.api.Instruction;