Minor change in IDEA project file.