package pt.ist.fenixframework.pstm; import jvstm.WriteOnReadException; public class IllegalWriteException extends WriteOnReadException { // intentionally empty }