#vulnerable code 
                              public Set<String> getOwnPropertyNames() {
    return ImmutableSet.of();
  } 
                            #location 1 
                            #vulnerability type CHECKERS_IMMUTABLE_CAST
#fixed code
                              public Set<String> getOwnPropertyNames() {
    return getPropertyMap().getOwnPropertyNames();
  }