js3-refactor and darkula theme