Shared state analyzer: check against Java beans specification.