Make the constants "public".
Renamed some classes Int... as Integer...
Renamed some classes Int... as Integer...
Merge branch 'devel' of ssh://github.com/emmt/TiPi into devel