132 |
public String toString() |
public String toString() |
133 |
{ |
{ |
134 |
StringBuffer sb = new StringBuffer(""); |
StringBuffer sb = new StringBuffer(""); |
135 |
|
sb.append("ProtectionDomain (" + linesep); |
136 |
sb.append(super.toString() + " (" + linesep); |
if (code_source == null) |
137 |
sb.append(code_source.toString()); |
sb.append("CodeSource:null" + linesep); |
138 |
sb.append(perms.toString()); |
else |
139 |
sb.append(")" + linesep); |
sb.append(code_source + linesep); |
140 |
|
sb.append(perms); |
141 |
|
sb.append(linesep + ")" + linesep); |
142 |
|
|
143 |
return sb.toString(); |
return sb.toString(); |
144 |
} |
} |
145 |
} |
} |