JREs added for testing