nothing change here
Merge branch 'devel' of ssh://github.com/emmt/TiPi into devel
Removing dev files that should not have been modified, using original commit by eric
Merging javadoc for returned status and minors modifications