This is an automated email from the git hooks/post-receive script. gregoa pushed a commit to branch master in repository jabref.
commit 67de3ba0d711c41a7739050838f66c51277124f3 Author: gregor herrmann <[email protected]> Date: Tue Jan 1 17:58:09 2013 +0100 Add a new patch to add back a removed file. --- debian/patches/generated_JabRefPlugin.java.patch | 369 +++++++++++++++++++++++ debian/patches/series | 1 + 2 files changed, 370 insertions(+) diff --git a/debian/patches/generated_JabRefPlugin.java.patch b/debian/patches/generated_JabRefPlugin.java.patch new file mode 100644 index 0000000..a246437 --- /dev/null +++ b/debian/patches/generated_JabRefPlugin.java.patch @@ -0,0 +1,369 @@ +Description: file was removed in 2.9.1 but doesn't get generated either ... +Origin: vendor +Forwarded: info via mail +Author: gregor herrmann <[email protected]> +Last-Update: 2013-01-01 + +--- /dev/null ++++ b/src/java/net/sf/jabref/plugin/core/generated/_JabRefPlugin.java +@@ -0,0 +1,360 @@ ++package net.sf.jabref.plugin.core.generated; ++ ++import java.net.URL; ++import java.util.ArrayList; ++import java.util.List; ++import net.sf.jabref.plugin.util.RuntimeExtension; ++import org.java.plugin.Plugin; ++import org.java.plugin.PluginLifecycleException; ++import org.java.plugin.registry.Extension; ++import org.java.plugin.registry.ExtensionPoint; ++ ++import org.apache.commons.logging.Log; ++import org.apache.commons.logging.LogFactory; ++ ++/** ++ * Do not modify this file, as it was auto generated and will be overwritten! ++ * User modifications should go in net.sf.jabref.plugin.core.JabRefPlugin. ++ */ ++public abstract class _JabRefPlugin extends Plugin { ++ ++ public static String getId(){ ++ return "net.sf.jabref.core"; ++ } ++ ++ static Log log = LogFactory.getLog(_JabRefPlugin.class); ++ ++ public List<ExportFormatTemplateExtension> getExportFormatTemplateExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ExportFormatTemplate"); ++ List<ExportFormatTemplateExtension> result = new ArrayList<ExportFormatTemplateExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new ExportFormatTemplateExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class ExportFormatTemplateExtension extends RuntimeExtension { ++ public ExportFormatTemplateExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ public String getDisplayName(){ ++ return getStringParameter("displayName"); ++ } ++ ++ ++ public String getConsoleName(){ ++ return getStringParameter("consoleName"); ++ } ++ ++ ++ public String getLayoutFilename(){ ++ return getStringParameter("layoutFilename"); ++ } ++ ++ ++ public URL getDirAsUrl(){ ++ return getResourceParameter("dir"); ++ } ++ ++ public URL getDirAsUrl(String relativePath){ ++ return getResourceParameter("dir", relativePath); ++ } ++ ++ ++ public String getExtension(){ ++ return getStringParameter("extension"); ++ } ++ ++ ++ public String getEncoding(){ ++ return getStringParameter("encoding"); ++ } ++ ++ } ++ ++ public List<ExportFormatExtension> getExportFormatExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ExportFormat"); ++ List<ExportFormatExtension> result = new ArrayList<ExportFormatExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new ExportFormatExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class ExportFormatExtension extends RuntimeExtension { ++ public ExportFormatExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ /** ++ * @return A singleton instance of the class parameter or null if the class could not be found! ++ */ ++ public net.sf.jabref.export.IExportFormat getExportFormat(){ ++ return (net.sf.jabref.export.IExportFormat)getClassParameter("exportFormat"); ++ } ++ ++ ++ public String getDisplayName(){ ++ return getStringParameter("displayName"); ++ } ++ ++ ++ public String getConsoleName(){ ++ return getStringParameter("consoleName"); ++ } ++ ++ ++ public String getExtension(){ ++ return getStringParameter("extension"); ++ } ++ ++ } ++ ++ public List<SidePanePluginExtension> getSidePanePluginExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "SidePanePlugin"); ++ List<SidePanePluginExtension> result = new ArrayList<SidePanePluginExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new SidePanePluginExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class SidePanePluginExtension extends RuntimeExtension { ++ public SidePanePluginExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ /** ++ * @return A singleton instance of the class parameter or null if the class could not be found! ++ */ ++ public net.sf.jabref.plugin.SidePanePlugin getSidePanePlugin(){ ++ return (net.sf.jabref.plugin.SidePanePlugin)getClassParameter("sidePanePlugin"); ++ } ++ ++ ++ public String getName(){ ++ return getStringParameter("name"); ++ } ++ ++ ++ public String getDescription(){ ++ return getStringParameter("description"); ++ } ++ ++ } ++ ++ public List<EntryFetcherExtension> getEntryFetcherExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "EntryFetcher"); ++ List<EntryFetcherExtension> result = new ArrayList<EntryFetcherExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new EntryFetcherExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class EntryFetcherExtension extends RuntimeExtension { ++ public EntryFetcherExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ /** ++ * @return A singleton instance of the class parameter or null if the class could not be found! ++ */ ++ public net.sf.jabref.imports.EntryFetcher getEntryFetcher(){ ++ return (net.sf.jabref.imports.EntryFetcher)getClassParameter("entryFetcher"); ++ } ++ ++ ++ public String getName(){ ++ return getStringParameter("name"); ++ } ++ ++ ++ public String getDescription(){ ++ return getStringParameter("description"); ++ } ++ ++ } ++ ++ public List<ExportFormatProviderExtension> getExportFormatProviderExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ExportFormatProvider"); ++ List<ExportFormatProviderExtension> result = new ArrayList<ExportFormatProviderExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new ExportFormatProviderExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class ExportFormatProviderExtension extends RuntimeExtension { ++ public ExportFormatProviderExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ /** ++ * @return A singleton instance of the class parameter or null if the class could not be found! ++ */ ++ public net.sf.jabref.export.IExportFormatProvider getFormatProvider(){ ++ return (net.sf.jabref.export.IExportFormatProvider)getClassParameter("formatProvider"); ++ } ++ ++ ++ public String getName(){ ++ return getStringParameter("name"); ++ } ++ ++ ++ public String getDescription(){ ++ return getStringParameter("description"); ++ } ++ ++ } ++ ++ public List<PushToApplicationExtension> getPushToApplicationExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "PushToApplication"); ++ List<PushToApplicationExtension> result = new ArrayList<PushToApplicationExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new PushToApplicationExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class PushToApplicationExtension extends RuntimeExtension { ++ public PushToApplicationExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ /** ++ * @return A singleton instance of the class parameter or null if the class could not be found! ++ */ ++ public net.sf.jabref.external.PushToApplication getPushToApp(){ ++ return (net.sf.jabref.external.PushToApplication)getClassParameter("pushToApp"); ++ } ++ ++ ++ public String getName(){ ++ return getStringParameter("name"); ++ } ++ ++ ++ public String getDescription(){ ++ return getStringParameter("description"); ++ } ++ ++ } ++ ++ public List<LayoutFormatterExtension> getLayoutFormatterExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "LayoutFormatter"); ++ List<LayoutFormatterExtension> result = new ArrayList<LayoutFormatterExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new LayoutFormatterExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class LayoutFormatterExtension extends RuntimeExtension { ++ public LayoutFormatterExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ /** ++ * @return A singleton instance of the class parameter or null if the class could not be found! ++ */ ++ public net.sf.jabref.export.layout.LayoutFormatter getLayoutFormatter(){ ++ return (net.sf.jabref.export.layout.LayoutFormatter)getClassParameter("layoutFormatter"); ++ } ++ ++ ++ public String getDescription(){ ++ return getStringParameter("description"); ++ } ++ ++ ++ public String getName(){ ++ return getStringParameter("name"); ++ } ++ ++ } ++ ++ public List<ImportFormatExtension> getImportFormatExtensions(){ ++ ExtensionPoint extPoint = getManager().getRegistry().getExtensionPoint(getId(), "ImportFormat"); ++ List<ImportFormatExtension> result = new ArrayList<ImportFormatExtension>(); ++ for (Extension ext : extPoint.getConnectedExtensions()) { ++ try { ++ result.add(new ImportFormatExtension(getManager().getPlugin( ++ ext.getDeclaringPluginDescriptor().getId()), ext)); ++ } catch (PluginLifecycleException e) { ++ log.error("Failed to activate plug-in " + ext.getDeclaringPluginDescriptor().getId(), e); ++ } ++ } ++ return result; ++ } ++ ++ public static class ImportFormatExtension extends RuntimeExtension { ++ public ImportFormatExtension(Plugin declaringPlugin, Extension wrapped){ ++ super(declaringPlugin, wrapped); ++ } ++ ++ ++ /** ++ * @return A singleton instance of the class parameter or null if the class could not be found! ++ */ ++ public net.sf.jabref.imports.ImportFormat getImportFormat(){ ++ return (net.sf.jabref.imports.ImportFormat)getClassParameter("importFormat"); ++ } ++ ++ ++ public String getName(){ ++ return getStringParameter("name"); ++ } ++ ++ ++ public String getDescription(){ ++ return getStringParameter("description"); ++ } ++ ++ } ++ ++} diff --git a/debian/patches/series b/debian/patches/series index 3716cb1..9ed273d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,2 +1,3 @@ debian_libs.patch mrDlib_jayatana.patch +generated_JabRefPlugin.java.patch -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git _______________________________________________ pkg-java-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits
