private File getHistoryFile() {
InteractiveConsolePlugin plugin = InteractiveConsolePlugin.getDefault();
if (plugin != null) {
IPath location = plugin.getStateLocation();
IPath path = location.append(HISTORY_PY);
return path.toFile();
} else {
return null;
}
}
