/** * Stelt een job voor met een bepaalde start- en stoptijd (interval). */ public record Job(int start, int stop) { @Override public String toString(){ return "[" + start + "," + stop + "]"; } }