Install src.jar again, since it is possible for a Java-developper to use source archive effectively in some IDEs.