anchor.diff:  # Full option list: java -jar jenkins.war --help
   #
   <% if has_variable?("prefix_real") then -%>
  -JENKINS_ARGS="--prefix=<%= prefix_real %>"
  +JENKINS_ARGS="--prefix=<%= @prefix_real %>"
   <% else -%>
   JENKINS_ARGS=""
   <% end -%>
  
positive.code: # permissions of $JENKINS_HOME and /var/log/jenkins.
  #
  <% if has_variable?("jenkins_user") then %>
  	JENKINS_USER="<%= jenkins_user %>"
  <% else %>
  	JENKINS_USER="jenkins"
  <% end %>		
  
negative.code: # Options to pass to java when running Jenkins.
  #
  <%- if has_variable?("java_options_real") then %>
  JENKINS_JAVA_OPTIONS="$JENKINS_JAVA_OPTIONS -Djava.awt.headless=true -Xmx2048m -XX:MaxPermSize=512m <%= @java_options_real %>"
  <%- else -%>
  JENKINS_JAVA_OPTIONS="-Djava.awt.headless=true -Xmx2048m -XX:MaxPermSize=512m"
  <% end -%>
  