[Bug 506738] The update to java-1_6_0-openjdk broke seamonkey with a segmentation fault