Revert "get rid of (now) useless dependency"

This reverts commit df51fdf50cbf19ff9b6ed372f3f8ec7f7574f51e.

This is needed to build on Mac JDK7