Search Results
OK to copy?
Examples 1 through 2 of
2 (0.014 seconds)
1333 if (engine.getParent() != null) {
1334 parentRealm = engine.getParent().getRealm();
1335 }
1336 if (realm != parentRealm) {
1337 storeRealm(writer, indent + 2, realm);
1332 Realm parentRealm = null;
1333 if (engine.getParent() != null) {
1334 parentRealm = engine.getParent().getRealm();
1335 }
1336 if (realm != parentRealm) {
Result Page:
1