final Display display = Display.getCurrent();
if (subject.getPrincipals(X500Principal.class).isEmpty()) {
RWT.getClient().getService(JavaScriptExecutor.class).execute("location.reload()");
final Display display = Display.getCurrent();
if (subject.getPrincipals(X500Principal.class).isEmpty()) {
RWT.getClient().getService(JavaScriptExecutor.class).execute("location.reload()");