Java port of PHP function library to facilitate Java web development