Updates to IDEA workspace

Just so that my IDEA's integrity is not hurt. Ne need to download this
for yourselves.