Switched to Java7 and converted the quasi-switch in //sel to a proper switch.