Use options(java.parameters) to behave better.