Java: easy set intersection