public int getPageProperty(String pageName, String property, int defaultValue) {
        User user = getUser();
        if (user != null) {
            String values = user.getProperties().get(property);
            if (values != null) {
                StringTokenizer tokens = new StringTokenizer(values, ",=");
                while (tokens.hasMoreTokens()) {
                    String page = tokens.nextToken().trim();
                    String rows = tokens.nextToken().trim();
                    if  (pageName.equals(page)) {
                        try {
                            return Integer.parseInt(rows);
                        }
                        catch (NumberFormatException e) {
                            return defaultValue;
                        }
                    }
                }
            }
        }
        return defaultValue;
    }
Sets the number of seconds between each page refresh for the specified page for the
current logged user. The value is stored as a user property. The same property is being
used for different pages. The encoding format is the following
"pageName1=value,pageName2=value".

@param pageName the name of the page to stored its new value.
@param newValue the new number of seconds between each page refresh.
xmppserver/src/main/java/org/jivesoftware/util/WebManager.java