OPTS="$ICEDTEAWEB_DOCS \
      $ICEDTEAWEB_PLUGIN \
      --with-jdk-home=$JAVA_HOME \
      --with-jar=$JAVA_HOME/bin/jar \
      --with-javadoc=$JAVA_HOME/bin/javadoc \
      $OPTS" &&

default_build
