Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
Copyright (c) 2000, 2011 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at Contributors: Atsuhiko Yamanaka, JCraft,Inc. - initial API and implementation. IBM Corporation - ongoing maintenance /
package org.eclipse.jsch.internal.core;
  public static String SSH_HOME_DEFAULT=null;
  public static String SSH_OLD_WIN32_HOME_DEFAULT=null;
  public void initializeDefaultPreferences(){
  private void changeDefaultWin32SshHome(){
    // flag to check if the win32 default ssh home was alrady changed
    boolean defaultWin32SshHomeChanged=preferences.getBoolean(
    // flag to check if it is an existing workspace
    // TODO bug 334508 needs to be fixed to determine that we are on an existing workspace
    boolean existingWorkspace=true;
            &&new File().exists()){
          if(!(!=null&&new File().exists())
      catch(BackingStoreException e){
        JSchCorePlugin.log(new Status(..,
            "Could not flush preferences."e)); //$NON-NLS-1$
New to GrepCode? Check out our FAQ X