slightly more efficient patch instructions

Signed-off-by: Jody Garnett <jody.garnett@gmail.com>
Merge branch 'master' of git://github.com/geotools/geotools