Updated jOOPL to the latest dev version (again)