#11 - modifications to work in jre7