Update thucydides.properties