Patches and documentation for building linux emulator jre7