ef7bb0cdf4
This can happen when loading symbols from incorrect Java sources, which is OK
This can happen when loading symbols from incorrect Java sources, which is OK