Fix in SBTRunner (do not use Java 1.7 API).
(cherry picked from commit 60131bd)