jre7-openjdk-headless-infinality: Update .install