I'd rather not rename the class in "use" statement unless required. Just to reduce the chance for confusion when you look at the code that uses it (every single file can invent its own names). What's your opinion?