rebranded JavaMop to LLVMMop