}
private void menuForChangingUsers(final UserActionSet options) {
// TODO pick out users from the perspectives, but only show when in exploration mode
if (getAuthenticationSession() instanceof MultiUserExplorationSession) {
final MultiUserExplorationSession session = (MultiUserExplorationSession) getAuthenticationSession();
final Set<String> users = session.getUserNames();
final UserActionSet set = options.addNewActionSet("Change user", ActionType.EXPLORATION);
for (final String user : users) {
menuOptionForChangingUser(set, user, session.getUserName());
}
}
}