\section{Weitere nichtfunktionale Anforderungen}%

\begin{description}%
    \item [Auslieferung] Das Produkt wird sowohl als Eclipse-Plugin ausgeliefert als auch als eigenständig lauffähiges Eclipse-basierendes Produkt.
    \item [Referenzplattform] Das Programm muss alle Anforderungen auf den folgenden Referenzplattformen erfüllen:
    \begin{description}
      \item [Eigenständige Applikation] Oracle-Java-VM in der Version ?.? unter Windows und Linux.
      \item [Plugin] Eclipse Indigo SDK in der offiziellen Version von \url{http://www.eclipse.org}, Java und Betriebssystem wie oben.
    \end{description}
\end{description}
\section{Weitere nichtfunktionale Anforderungen}%

\begin{description}%
    \item [Referenzplattform] Das Programm muss unter Verwendung der Oracle Java Runtime Environment in der Version 7 unter Linux alle Anforderungen erfüllen.
    \item [Lizenz von Z3] Die Lizenz des von Microsoft entwickelten Beweisers Z3 lässt nur nichtkommerzielle Nutzung zu. Eine kommerzielle Nutzung von \emph{Worthwhile} muss deshalb ausgeschlossen werden.
\end{description}

Remove reference to Eclipse plugin and mention Z3 license
[pf] Remove reference to Eclipse plugin and mention Z3 license
