public class ModelChangeSupport {
 // Standard implementation for property change support. 
...
}

// Auxiliary enum types to define valid status values. 
public enum IssueStatus { SAFE, UNSAFE, UNRESOLVED }
public enum LocationIssueStatus { APPROVED, UNRESOLVED }

/** Top level model class. 
 *  Has a Set and a Map we want to observe. 
 */
public class SecuritySpecModel extends ModelChangeSupport {
  /** Set of methods that are considered safe. */
  private Set<MethodModel> whitelist = new LinkedHashSet<MethodModel>();

  /** Default security spec hierarchy. 
   *  A top level method, the key of the map, maps to a list of child methods. 
   *  Each child method has a list of code locations. 
   */
  private Map<MethodModel, List<MethodModel>> inputEvents =
      new LinkedHashMap<MethodModel, List<MethodModel>>(); 

// Getter and setters for whitelist and inputEvents
}

/** Model object with a status field and a list of code locations we want to 
 *  observe. 
*/
public class MethodModel extends ModelChangeSupport { 
private String methodName;
  private String className;
  private String returnType;
  private String methodSignature;
  private CodeLocationModel declarationLocation;
  private List<CodeLocationModel> lines = new ArrayList<CodeLocationModel>();
  /**
   * Current status of the code location.
   */
  private IssueStatus status = IssueStatus.UNRESOLVED;

// Getter and setter for all fields. 

// Setter for status. 
public void setStatus(IssueStatus newStatus) {
    firePropertyChange("status", this.status, this.status = newStatus);
  }
}

/** The information about the location of a method in a file. 
 *  Each method has a list of CodeLocations. 
 *  We want to observe the status field of these objects. 
*/
public class CodeLocationModel extends ModelChangeSupport {
  /**
   * Current status of the code location.
   */
  private LocationIssueStatus status = LocationIssueStatus.UNRESOLVED;

  // Setter for status. 
  public void setStatus(LocationIssueStatus newStatus) {
    firePropertyChange("status", this.status, this.status = newStatus);
  }
}

private void initializeTreeViewer() {
      this.viewer = new TreeViewer(parentComposite, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
      SecuritySpecModel securitySpecModel = new SecuritySpecModel(..);
      ObservableListTreeContentProvider cp =
          new ObservableListTreeContentProvider(
                  new TreeIObservableFactoryImpl(securitySpecModel),
                  new TreeStructureAdvisorImpl());
      viewer.setContentProvider(cp);
      
      // Code to set the label provider attributes 
      // Code to create observables and bindings. 

      viewer.setLabelProvider( /* some label provider object */)
      viewer.setInput(securitySpecModel); 

}

 viewer.setLabelProvider(
  new ObservableTreeElementLabelProvider(allLabelProviderAttributeMaps??));

  IObservableMap[] specLabelProviderMaps =
          BeansObservables.observeMaps(cp.getKnownElements(), 
              SecuritySpecModel.class,
              new String[] {"inputEventBlocks", "whitelist"});

      IObservableMap[] methodLabelProviderMaps =
          BeansObservables.observeMaps(cp.getKnownElements(), 
                                       MethodModel.class,
                                       new String[] {"status"});

      IObservableMap[] codeLocationLabelProviderMaps =
          BeansObservables.observeMaps(cp.getKnownElements(), 
                                       CodeLocationModel.class,
                                       new String[] {"status"});


      IObservableMap[] allLabelProviderMaps =
          new IObservableMap[specLabelProviderMaps.length + 
                             methodLabelProviderMaps.length +
                             codeLocationLabelProviderMaps.length];

      int count = 0;
      for (int i = 0; i < specLabelProviderMaps.length; i++) {
        allLabelProviderMaps[count++] = specLabelProviderMaps[i];
      }
      for (int i = 0; i < methodLabelProviderMaps.length; i++) {
        allLabelProviderMaps[count++] = methodLabelProviderMaps[i];
      }
      for (int i = 0; i < codeLocationLabelProviderMaps.length; i++) {
        allLabelProviderMaps[count++] = codeLocationLabelProviderMaps[i];
      }
      viewer.setLabelProvider(
            new ObservableTreeElementLabelProvider(allLabelProviderMaps));