More detail on passing javacopts