JML version 1.3.1

Changes in version 1.3.1

• Fix a small bug that caused JML to crash when there were white spaces at the end of (some) lines in the control file.
• Corrected two mistakes in the manual.