|
What this is
Other links
The source code/* * Sun Public License Notice * * The contents of this file are subject to the Sun Public License * Version 1.0 (the "License"). You may not use this file except in * compliance with the License. A copy of the License is available at * http://www.sun.com/ * * The Original Code is NetBeans. The Initial Developer of the Original * Code is Sun Microsystems, Inc. Portions Copyright 1997-2002 Sun * Microsystems, Inc. All Rights Reserved. */ package org.netbeans.modules.java.platform; import java.io.File; import org.openide.options.SystemOption; import org.openide.util.NbBundle; import org.openide.util.Utilities; /** * * @author Tomas Zezula */ public class PlatformSettings extends SystemOption { static final long serialVersionUID = -4636292603494310012L; private static PlatformSettings instance; private static final String PROP_PLATFORMS_FOLDER = "platformsFolder"; //NOI18N private static final String APPLE_JAVAVM_FRAMEWORK_PATH = "/System/Library/Frameworks/JavaVM.framework/Versions/";//NOI18N public PlatformSettings () { } public String displayName() { return NbBundle.getMessage(PlatformSettings.class,"TXT_PlatformSettings"); } public File getPlatformsFolder () { String folderName = (String)this.getProperty(PROP_PLATFORMS_FOLDER); if (folderName == null) { File f; if (Utilities.getOperatingSystem() == Utilities.OS_MAC) { f = new File (APPLE_JAVAVM_FRAMEWORK_PATH); } else { f = new File(System.getProperty("user.home")); //NOI18N File tmp; while ((tmp = f.getParentFile())!=null) { f = tmp; } } return f; } else { return new File (folderName); } } public void setPlatformsFolder (File file) { this.putProperty(PROP_PLATFORMS_FOLDER,file.getAbsolutePath(),true); } public synchronized static PlatformSettings getDefault () { if (instance == null) { instance = (PlatformSettings) SystemOption.findObject(PlatformSettings.class,true); } return instance; } } |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.