Minecraft Save Seed Reader is a Java program that reads the seed value from all your saved files, so you can regenerate your worlds any time you'd like. Being a Java program, it works on all platforms that Minecraft itself does, and it should automatically find your saves no matter what platform you're using.
VisualVM
