Antwort
Für Java und die 1.7.2 Version ist folgender seed perfekt für dich:
-5387212952038390124
(Würde mich freuen wenn du schreibst ob es funktioniert hat;) )