Additional extensions for JPHP (from World of Java)