Adds a manual step to the build script to patch the PDE JAR file

Adds a manual step to the build script to patch the PDE JAR file #577