public class org.crac.RestoreException extends java.lang.Exception
{
private static final long serialVersionUID;
public void <init>()
{
org.crac.RestoreException v;
v := @this: org.crac.RestoreException;
specialinvoke v.<java.lang.Exception: void <init>()>();
return;
}
public void <init>(java.lang.String)
{
java.lang.String v;
org.crac.RestoreException v;
v := @this: org.crac.RestoreException;
v := @parameter: java.lang.String;
specialinvoke v.<java.lang.Exception: void <init>(java.lang.String)>(v);
return;
}
}