javac: Allow users to specify Maven options