Made it work in an earlier version of java