Add missing rmicoptions setter

PR: 9830
Submitted by: hengels@mercatis.de (Holger Engels)


git-svn-id: https://svn.apache.org/repos/asf/ant/core/trunk@273228 13f79535-47bb-0310-9956-ffa450edef68

src/main/org/apache/tools/ant/taskdefs/optional/ejb/WebsphereDeploymentTool.java

@@ -295,6 +295,14 @@ public class WebsphereDeploymentTool extends GenericDeploymentTool {
         this.trace = trace;
     }
 
+    /**
+     * Set the rmic options.
+     *
+     * @param options
+     */
+    public void setRmicoptions(String options) { 
+        this.rmicOptions = options; 
+    }
 
     /**
      * Flag to use the WebSphere 3.5 compatible mapping rules ; optional, default false.