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