changed plugin id back to JavaREPL