Should checked exceptions be removed from Java?