* Adding code style
* Small correction of code style
* Putting under comments checkstyle rules
* include checks and suppressions (excluding files)
* Added checkstyle suppressions.
* suppression defined at the level of a Java file
* adding JFactTBoxReasonerTest in the suppression
* replacement of tabs with spaces in a property file
* increasing the max line length to 120
* Adding java and javax packages at the beggining of imports
---------
Co-authored-by: Ivan Mrsulja <mrsuljaivancic@gmail.com>
