/FileExtraction/Java_unseen/cpn-io_cpn-js/backend/cpn-ide-back/src/main/java/com/indevstudio/cpnide/server/model/NewMonitorDescr.java
package com.indevstudio.cpnide.server.model;

import lombok.Builder;
import lombok.Data;

@Data
@Builder
public class NewMonitorDescr {
    String defaultPredicate;
    String defaultObserver;
    boolean defaultTimed;
    String defaultInit;
    String defaultStop;
}
