tools: standardized line separators. Now on any OS java produces unix line separators. Tests on windows pass. Some formatting in other files.