JPF Project TODO List

Although the current version of JPF is of production quality, fully functional and very stable there is always what to do. The follows is a list of ongoing or planned tasks:

Task	Priority
JPF-Tools library improvements	MEDIUM
Documentation improvements (native English speakers needed)	MEDIUM