https://github.com/eclipse/eclipse.jdt.debug
History
Tip revision: d928186ea011dd7e45b1bfd09375b9c57cd69139 authored by Carsten Hammer on 01 June 2019, 20:26:28 UTC
Use isEmpty() instead of size()==0 where possible
Tip revision: d928186

back to top