Eclipse/Pydev shows that this line is never used