// Based on original test case from Yves Martin.
interface PR12857 {
  static final String CONST = PR12857.class.getName();
}