// Test case for Issue 403:
// https://github.com/typetools/checker-framework/issues/403

import java.util.Comparator;

public class Issue403 {
  Comparator<Issue403> COMPARATOR = Comparator.comparing(w -> w.value);

  String value;

  Issue403(final String value) {
    this.value = value;
  }
}