what is j2re1.7 ? I've never seen this as a dependency and none of my java packages on ubuntu provide this.