Bug 55340 Documentation (Javadoc) location selector does not show up with ZIP files
When having a ZIP (not JAR) file included as library there can no documentation location be selected on its properties page. When I rename the file to "*.jar" then it works.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavadocConfigurationPropertyPage.java
/*******************************************************************************
 * Copyright (c) 2000, 2003 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials 
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 * 
 * Contributors: