Platform specific source files may not end up in src.zip

When there are platform specific source files with the same name as a shared source files (for example java/lang/ClassLoaderHelper.java for macosx), the build might not always pick the correct file for inclusion into src.zip. The file with the newest modification date gets picked by the zip utility.