void writeVDCTData(DataOutputStream file, String path2remove) throws java.io.IOException;
void writeVDCTData(DataOutputStream file, NameManipulator namer) throws java.io.IOException;
void writeVDCTData(DataOutputStream file, String path2remove) throws java.io.IOException;