Lines 124-129
Link Here
|
124 |
|
124 |
|
125 |
// Implementation of java.io.Externalizable ------------------ |
125 |
// Implementation of java.io.Externalizable ------------------ |
126 |
|
126 |
|
|
|
127 |
/* |
127 |
public void readExternal(final java.io.ObjectInput objectInput ) |
128 |
public void readExternal(final java.io.ObjectInput objectInput ) |
128 |
throws java.io.IOException, java.lang.ClassNotFoundException { |
129 |
throws java.io.IOException, java.lang.ClassNotFoundException { |
129 |
super.readExternal( objectInput ); |
130 |
super.readExternal( objectInput ); |
Lines 138-143
Link Here
|
138 |
//Integer i = (Integer)getProperty(PROP_INSTALL_COUNT); |
139 |
//Integer i = (Integer)getProperty(PROP_INSTALL_COUNT); |
139 |
//objectOutput.writeInt(i != null ? i.intValue() : 0); |
140 |
//objectOutput.writeInt(i != null ? i.intValue() : 0); |
140 |
} |
141 |
} |
|
|
142 |
*/ |
141 |
|
143 |
|
142 |
private static void notify (Exception e) { |
144 |
private static void notify (Exception e) { |
143 |
TopManager.getDefault ().getErrorManager ().notify (ErrorManager.INFORMATIONAL, e); |
145 |
TopManager.getDefault ().getErrorManager ().notify (ErrorManager.INFORMATIONAL, e); |
Lines 148-154
Link Here
|
148 |
TopManager.getDefault ().getErrorManager ().log (ErrorManager.INFORMATIONAL, s); |
150 |
TopManager.getDefault ().getErrorManager ().log (ErrorManager.INFORMATIONAL, s); |
149 |
} |
151 |
} |
150 |
|
152 |
|
151 |
/** Exists only for the sake of its bean info. */ |
153 |
/** Exists only for the sake of its bean info. * / |
152 |
public static final class GlobalLocalFileSystem extends LocalFileSystem { |
154 |
public static final class GlobalLocalFileSystem extends LocalFileSystem { |
153 |
private static final long serialVersionUID = 3563912690225075761L; |
155 |
private static final long serialVersionUID = 3563912690225075761L; |
154 |
|
156 |
|
Lines 159-165
Link Here
|
159 |
super(cap); |
161 |
super(cap); |
160 |
} |
162 |
} |
161 |
} |
163 |
} |
162 |
/** Marks it as global (not project-specific). */ |
164 |
/** Marks it as global (not project-specific). * / |
163 |
public static final class GlobalLocalFileSystemBeanInfo extends SimpleBeanInfo { |
165 |
public static final class GlobalLocalFileSystemBeanInfo extends SimpleBeanInfo { |
164 |
public BeanDescriptor getBeanDescriptor () { |
166 |
public BeanDescriptor getBeanDescriptor () { |
165 |
BeanDescriptor bd = new BeanDescriptor (GlobalLocalFileSystem.class); |
167 |
BeanDescriptor bd = new BeanDescriptor (GlobalLocalFileSystem.class); |
Lines 183-186
Link Here
|
183 |
} |
185 |
} |
184 |
} |
186 |
} |
185 |
} |
187 |
} |
|
|
188 |
*/ |
186 |
} |
189 |
} |