Invariants for webservices added, repackaged & tested.