@Override
        public int size() {
            return properties.entrySet().size();
        }
Set implementation that updates the database when properties are deleted.
xmppserver/src/main/java/org/jivesoftware/openfire/user/User.java