Fix in SBTRunner (do not use Java 1.7 API).