java/openjdk7: Add replacement port (ftigeot)