Added FAQ on the desugar rule failing in the MiniJava editor