private RefManager myManager;
public static int CAN_BE_FINAL_MASK;
public CanBeFinalAnnotator(RefManager manager) {
myManager = manager;
}
<BUG>public void initialize(RefElement refElement) {
</BUG>
((RefElementImpl)refElement).setFlag(true, CAN_BE_FINAL_MASK);
if (refElement instanceof RefClass) {
final RefClass refClass = ((RefClass)refElement);

private RefManager myManager;
public static int CAN_BE_FINAL_MASK;
public CanBeFinalAnnotator(RefManager manager) {
myManager = manager;
}
public void onInitialize(RefElement refElement) {
((RefElementImpl)refElement).setFlag(true, CAN_BE_FINAL_MASK);
if (refElement instanceof RefClass) {
final RefClass refClass = ((RefClass)refElement);
