modify SFuture.java