1. 2016-08-19 [GitHub] ant issue #20: Microoptimization. Followup t ant-dev YoshikiHigo 2. 2016-08-19 [GitHub] ant issue #20: Microoptimization. Followup t ant-dev bodewig 3. 2016-08-19 [GitHub] ant issue #20: Microoptimization. Followup t ant-dev YoshikiHigo 4. 2016-08-19 [GitHub] ant issue #20: Microoptimization. Followup t ant-dev bodewig