Trying to work around MJAVADOC-275