How to use patch in Vaadin 7 on Eclipse

I downloaded this patch http://dev.vaadin.com/ticket/5071
but i don’t know how to use it. Please help

The patch is against a very old version of Vaadin, so you might need to rewrite at least parts of it or apply each part by hand.

To use a patched version of a Vaadin client side class in your project where the changes cannot be done by subclassing and GWT deferred bindings, copy the source code of the class to your project (in the exact same package as in the original version, i.e. com.vaadin…), modify it and recompile the widgetset.