LIBRARY: Updating ECJ's name from [5460]:
* There is no 4.2 version.
* The file name contains 3.8.1 version.
* The actual build version is 3.8.0.
* Can be checked using:
{{{
>java -jar ecj-3.8.1.jar -version
Eclipse Compiler for Java(TM) 0.C58, 3.8.0, Copyright IBM Corp 2000, 2012. All rights reserved.
}}}