private NullDerefProperty(String name, PriorityAdjustment priorityAdjustment) {
this.name = name;
this.priorityAdjustment = priorityAdjustment;
}
public static final NullDerefProperty CHECKED_VALUE =
<BUG>new NullDerefProperty("CHECKED_VALUE", PriorityAdjustment.LOWER_PRIORITY);

public PriorityAdjustment getPriorityAdjustment() {</BUG>
return priorityAdjustment;
}

private NullDerefProperty(String name, PriorityAdjustment priorityAdjustment) {
this.name = name;
this.priorityAdjustment = priorityAdjustment;
}
public static final NullDerefProperty CHECKED_VALUE =
new NullDerefProperty("CHECKED_VALUE", PriorityAdjustment.RAISE_PRIORITY);
public static final NullDerefProperty WOULD_HAVE_BEEN_A_KABOOM =
new NullDerefProperty("WOULD_HAVE_BEEN_A_KABOOM", PriorityAdjustment.RAISE_PRIORITY);
public PriorityAdjustment getPriorityAdjustment() {
return priorityAdjustment;
}
