Optional<Sort> greatestSort = greatest(productions.stream().map(Production::sort).collect(Collectors.toList())); if (greatestSort.isPresent()) { return greatestSort.get();
Optional<Sort> greatestSort = greatest(productions.stream().map(Production::sort).collect(Collectors.toList())); if (greatestSort.isPresent()) { return greatestSort.get();