libcommons-lang-java: Install
libcommons-lang-java: Configure
libcommons-cli-java: Configure
sat4j: Configure
eclipse-platform: Configure
eclipse-jdt: Configure
eclipse-pde: Configure