checker/tests/nullness/Issue388.java

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

import java.util.Map;

public class Issue388 {
  static class Holder {
    static final String KEY = "key";
  }

  public String getOrDefault(Map<String, String> map, String defaultValue) {
    if (map.containsKey(Holder.KEY)) {
      return map.get(Holder.KEY);
    } else {
      return defaultValue;
    }
  }
}