class MutexTypeD extends Mutex { MutexTypeD() { } public String toString() { return "D"; } }