Add option to disable SSL bug in eclipse.ini to make sure SVN works over
HTTPS with Java 1.7 (only for Windows and Unix, not for MacOSX)
Formatted code
Updated copyright header