Official release of 4.1.3 for Windows and Linux (Java 7)