private void dumpRigid(RigidInfo rigid)
throws IOException, IllegalTextExportException{
String rigidName = rigid.getRigidName().getPrimaryText();
private void dumpRigid(RigidInfo rigid)
throws IOException, IllegalTextExportException{
String rigidName = rigid.getRigidName().getPrimaryText();