1 | String getDomain() {↵ | | 1 | String getParameters() {↵
|
2 | return getPropertyAsString(DOMAIN);↵ | | 2 | return this.getPropertyAsString(PARAMETERS);↵
|
3 | }↵ | | 3 | }↵
|
|
4 | public synchronized void setDomain(String domain) {↵ | | 4 | public void setParameters(String newScript) {↵
|
5 | setProperty(DOMAIN, domain);↵ | | 5 | this.setProperty(↵
|
6 | }↵ | | |
|
|
7 | public synchronized String getRealm↵ | | 6 | PARAMETERS, newScript);↵
|
| | | 7 | }↵
|
|
8 | () {↵ | | 8 | public String getScriptLanguage() {↵
|
9 | return getPropertyAsString(REALM);↵ | | 9 | return this.getPropertyAsString(LANGUAGE);↵
|
10 | }↵ | | 10 | }↵
|
|
11 | public synchronized void setRealm(String realm) {↵ | | 11 | public void setScriptLanguage(String lang) {↵
|
12 | setProperty(REALM, realm);↵ | | 12 | this.setProperty(LANGUAGE, lang);↵
|
13 | } | | 13 | }
|