Java7 idioms