Rename 13.10-14.04 to 13.10-14.04-openjdk-7-jdk