I tried to make VOFile.close() nicer to look at but did not succeed. Do not go here.