Fix German date parsing.

CLDR changed German from having a mix of 3- and 4-character abbreviated month
names (such as "Juli" and "Aug"[ust]) to having only 4-character names by
adding periods to the end of abbreviated names (giving "Juli" and "Aug.").
This means that a date formatted with the old data (by jb-mr1, say) can't
be parsed with the new data (in jb-mr2, say). Work around this by doing what
icu4c's SimpleDateFormat::parse does --- accepting "xxx" as a match for "xxx.".

Bug: https://code.google.com/p/android/issues/detail?id=59383
Bug: 10511599
Change-Id: I021ea8ffeea37ea2cae943a84cdd2babb337301d
Apply a variation of the suggested app-level patch to SecureRandom

http://android-developers.blogspot.pt/2013/08/some-securerandom-thoughts.html
for more details. This isn't an ideal solution, but until a proper patch
comes up it'll do

Change-Id: Ib6bf4478fc1ae3d16eefa4eb2ad90f1f3e9de021
Merge "Fix German date parsing." into cm-10.2
Do not apply the PRNG workarounds if an explicit seed is given

If the caller seeds the engine, do NOT override that seed with another
from urandom.

This is a companion change to Ib6bf4478fc1ae3d16eefa4eb2ad90f1f3e9de021,
and should be reverted along with it when the proper fix appears.

Change-Id: I0a9ba35d74af89c91b6aafa35cc94001372794e1
Merge remote-tracking branch 'upstream/cm-10.2' into cm-10.2