One more method for VobCoorder, for querying activity of a cs.
Add into VobCoorder:
/** Whether activate(cs) has been called. */ public boolean isActive(int cs);