tweaking the final names of javadoc and sources