public void save(
String path,
// fileType==null means don't change value
String fileType,
// encoding==null means don't change value
String encoding,
final ProgressIndicator progress) {
assert path != null;
if (path == null) throw new IllegalArgumentException("Path cannot be null");
saveWithSuspendedAutoSave(path, fileType, encoding, progress);
}
public void changeFileType(String fileType, final ProgressIndicator progress) {
saveWithSuspendedAutoSave(null, fileType, null, progress);
}