/** * Constructs a new proxy that is a copy of the specified proxy * * @param proxy * the proxy to be copied * @throws NullPointerException * if the specified proxy is <code>null</code> * @since JWI 1.0 */ public ExceptionEntryProxy(IExceptionEntryProxy proxy) { if(proxy == null) throw new NullPointerException(); this.surfaceForm = proxy.getSurfaceForm(); this.rootForms = proxy.getRootForms(); }