added library RedBeansPHP 4