-package com.sun.vlsi.chips.marina.test;
+package edu.berkeley.fleet.marina;
import com.sun.electric.tool.simulation.test.*;
import java.util.ArrayList;
import java.util.List;
-import com.sun.vlsi.chips.marina.test.MarinaUtils.StateWireState;
+import edu.berkeley.fleet.marina.MarinaUtils.StateWireState;
public class ProperStopper {
// position of strobes in the control chain