refactoring of classes reifying Java types