Properties props = controller.getConfiguration().getProperties(); if (user == null && props.containsKey("connect.user")) { user = props.getProperty("connect.user"); if (props.containsKey("connect.password")) password = props.getProperty("connect.password"); if (props.containsKey("connect.library")) library = props.getProperty("connect.library"); if (props.containsKey("connect.menu")) initialMenu = props.getProperty("connect.menu"); if (props.containsKey("connect.program")) program = props.getProperty("connect.program"); }
   public void setController(Session c) {      controller = c;   }