JDEE: setup for jenkins plugin work.