In the Javac Java Model, SwitchTree should have a BlockTree as a child corresponding to "SwitchBlock" in the Java language spec; this is needed to get the start and end offset of the block. Instead SwitchTree just has a list of CaseTree's.