- updated to JaCoP v4.1.0 
- minor bug fixes