86>Dec 21 07:49:54 userdel[447648]: delete user 'rooter' <86>Dec 21 07:49:54 userdel[447648]: removed group 'rooter' owned by 'rooter' <86>Dec 21 07:49:54 groupadd[447663]: group added to /etc/group: name=rooter, GID=1853 <86>Dec 21 07:49:54 groupadd[447663]: group added to /etc/gshadow: name=rooter <86>Dec 21 07:49:54 groupadd[447663]: new group: name=rooter, GID=1853 <86>Dec 21 07:49:54 useradd[447673]: new user: name=rooter, UID=1853, GID=1853, home=/root, shell=/bin/bash, from=none <86>Dec 21 07:49:54 userdel[447694]: delete user 'builder' <86>Dec 21 07:49:54 userdel[447694]: removed group 'builder' owned by 'builder' <86>Dec 21 07:49:54 userdel[447694]: removed shadow group 'builder' owned by 'builder' <86>Dec 21 07:49:54 groupadd[447708]: group added to /etc/group: name=builder, GID=1854 <86>Dec 21 07:49:54 groupadd[447708]: group added to /etc/gshadow: name=builder <86>Dec 21 07:49:54 groupadd[447708]: new group: name=builder, GID=1854 <86>Dec 21 07:49:54 useradd[447724]: new user: name=builder, UID=1854, GID=1854, home=/usr/src, shell=/bin/bash, from=none warning: user igor does not exist - using root warning: group igor does not exist - using root warning: user igor does not exist - using root warning: group igor does not exist - using root warning: user igor does not exist - using root warning: group igor does not exist - using root warning: user igor does not exist - using root warning: group igor does not exist - using root warning: Macro %_javadir not found warning: Macro %_javadir not found warning: Macro %_javadir not found warning: Macro %_javadocdir not found warning: Macro %_javadocdir not found warning: Macro %_javadocdir not found warning: Macro %_javadir not found warning: Macro %_javadir not found warning: Macro %_javadocdir not found warning: Macro %_javadocdir not found <13>Dec 21 07:49:58 rpmi: javapackages-filesystem-1:6.0.0-alt2_7jpp11 sisyphus+318644.100.1.1 1681742255 installed <13>Dec 21 07:49:58 rpmi: javapackages-tools-1:6.0.0-alt2_7jpp11 sisyphus+318644.100.1.1 1681742255 installed <13>Dec 21 07:49:58 rpmi: libpng16-1.6.42-alt2 sisyphus+339555.100.1.1 1706781690 installed <13>Dec 21 07:49:58 rpmi: java-common-1.7.0-alt1 sisyphus+333533.100.1.1 1699037019 installed <13>Dec 21 07:49:58 rpmi: ant-lib-0:1.10.12-alt1_8jpp11 sisyphus+317214.100.1.1 1679497453 installed <13>Dec 21 07:49:58 rpmi: rpm-macros-java-1:6.0.0-alt2_7jpp11 sisyphus+318644.100.1.1 1681742255 installed <13>Dec 21 07:49:58 rpmi: libxslt-1.1.39-alt1 sisyphus+349406.100.1.1 1716751808 installed <13>Dec 21 07:49:58 rpmi: libnatspec-0.3.3-alt2 sisyphus+359039.100.2.1 1729455875 installed <13>Dec 21 07:49:58 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432033 installed <13>Dec 21 07:49:58 rpmi: libgdbm-1.8.3-alt10 sisyphus+346222.200.3.2 1716468406 installed <13>Dec 21 07:49:58 rpmi: libexpat-2.5.0-alt1 sisyphus+346180.200.2.1 1716349845 installed <13>Dec 21 07:49:58 rpmi: libb2-0.98.1-alt1_1 sisyphus+291614.100.1.1 1638962878 installed <13>Dec 21 07:49:58 rpmi: xorg-proto-devel-2024.1-alt1 sisyphus+343583.40.1.1 1711440649 installed <13>Dec 21 07:49:58 rpmi: liblcms2-2.16-alt1 sisyphus+335676.100.1.1 1701682605 installed <13>Dec 21 07:49:58 rpmi: libjpeg-2:3.0.2-alt2.1 sisyphus+340135.100.1.1 1707449053 installed <13>Dec 21 07:49:58 rpmi: libbrotlicommon-1.1.0-alt1 sisyphus+328501.100.1.1 1693598420 installed <13>Dec 21 07:49:58 rpmi: libbrotlidec-1.1.0-alt1 sisyphus+328501.100.1.1 1693598420 installed <13>Dec 21 07:49:58 rpmi: libgraphite2-1.3.14-alt2.1 sisyphus+279571.100.1.2 1626605157 installed <13>Dec 21 07:49:58 rpmi: libharfbuzz-10.1.0-alt1 sisyphus+361773.100.1.1 1730824050 installed <13>Dec 21 07:49:58 rpmi: libfreetype-2.13.3-alt1 sisyphus+355656.100.1.1 1724221065 installed <13>Dec 21 07:49:58 rpmi: javazi-2024a-alt1 sisyphus+344801.200.1.1 1712691734 installed <13>Dec 21 07:49:58 rpmi: libgif-4.1.6-alt3 sisyphus+276911.100.1.3 1625273983 installed <13>Dec 21 07:49:58 rpmi: libX11-locales-3:1.8.10-alt1 sisyphus+353866.100.1.1 1722240771 installed <13>Dec 21 07:49:58 rpmi: libXdmcp-1.1.5-alt1 sisyphus+343583.700.1.1 1711441073 installed <13>Dec 21 07:49:58 rpmi: libXau-1.0.11-alt1 sisyphus+311428.100.1.1 1670577440 installed <13>Dec 21 07:49:58 rpmi: libxcb-1.17.0-alt1 sisyphus+345308.200.1.1 1713342009 installed <13>Dec 21 07:49:58 rpmi: libX11-3:1.8.10-alt1 sisyphus+353866.100.1.1 1722240774 installed <13>Dec 21 07:49:58 rpmi: libXext-1.3.6-alt1 sisyphus+343583.1000.1.1 1711441114 installed <13>Dec 21 07:49:58 rpmi: libXi-1.8-alt1 sisyphus+285490.200.1.1 1632124180 installed <13>Dec 21 07:49:58 rpmi: libXtst-1.2.4-alt1 sisyphus+308663.1300.1.1 1666168504 installed <13>Dec 21 07:49:58 rpmi: libXrender-0.9.11-alt1 sisyphus+308841.100.1.1 1666436131 installed <13>Dec 21 07:50:00 rpmi: libxcb-devel-1.17.0-alt1 sisyphus+345308.200.1.1 1713342009 installed <13>Dec 21 07:50:00 rpmi: libX11-devel-3:1.8.10-alt1 sisyphus+353866.100.1.1 1722240774 installed <13>Dec 21 07:50:00 rpmi: libp11-kit-1:0.25.5-alt1 sisyphus+352553.100.1.1 1720622586 installed <13>Dec 21 07:50:00 rpmi: libtasn1-4.19.0-alt3 sisyphus+327816.100.1.1 1692802618 installed <13>Dec 21 07:50:00 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Dec 21 07:50:00 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Dec 21 07:50:00 rpmi: ca-certificates-2024.12.10-alt1 sisyphus+364633.200.3.1 1733918603 installed <13>Dec 21 07:50:00 rpmi: ca-trust-0.2.0-alt1 sisyphus+344843.100.1.1 1712743326 installed <13>Dec 21 07:50:00 rpmi: p11-kit-trust-1:0.25.5-alt1 sisyphus+352553.100.1.1 1720622586 installed <13>Dec 21 07:50:00 rpmi: libcrypto3-3.1.7-alt2 sisyphus+359910.100.1.1 1729080696 installed <13>Dec 21 07:50:00 rpmi: libssl3-3.1.7-alt2 sisyphus+359910.100.1.1 1729080696 installed <13>Dec 21 07:50:00 rpmi: python3-3.12.8-alt1 sisyphus+364336.100.1.1 1733526985 installed <13>Dec 21 07:50:01 rpmi: python3-base-3.12.8-alt1 sisyphus+364336.100.1.1 1733526985 installed <13>Dec 21 07:50:01 rpmi: python3-module-six-1.17.0-alt1 sisyphus+364177.100.1.1 1733425205 installed <13>Dec 21 07:50:01 rpmi: python3-module-genshi-0.7.9-alt2 sisyphus+359540.100.1.1 1728646235 installed <13>Dec 21 07:50:01 rpmi: python3-module-cssselect-1.2.0-alt1 sisyphus+317931.100.1.1 1680503903 installed <13>Dec 21 07:50:01 rpmi: python3-module-webencodings-0.5.1-alt3 sisyphus+359244.100.1.1 1728381102 installed <13>Dec 21 07:50:01 rpmi: python3-module-lxml-5.3.0-alt1 sisyphus+355253.100.1.1 1723745894 installed <13>Dec 21 07:50:01 rpmi: python3-module-html5lib-1:1.1-alt1 sisyphus+278096.120.5.1 1626086978 installed <13>Dec 21 07:50:01 rpmi: python3-module-javapackages-1:6.0.0-alt2_7jpp11 sisyphus+318644.100.1.1 1681742255 installed <13>Dec 21 07:50:01 rpmi: rpm-build-java-1:6.0.0-alt2_7jpp11 sisyphus+318644.100.1.1 1681742255 installed <13>Dec 21 07:50:01 rpmi: ca-trust-java-0.2.0-alt1 sisyphus+344843.100.1.1 1712743326 installed <13>Dec 21 07:50:01 rpmi: java-stub-javadoc-0.1-alt1 sisyphus+276859.100.1.1 1625245070 installed <13>Dec 21 07:50:01 rpmi: alsa-ucm-conf-1.2.12-alt1 sisyphus+352670.100.1.1 1720712327 installed <13>Dec 21 07:50:01 rpmi: alsa-topology-conf-1.2.5.1-alt1 sisyphus+274777.100.1.1 1624089141 installed <13>Dec 21 07:50:01 rpmi: libalsa-1:1.2.12-alt1 sisyphus+352670.200.1.1 1720712403 installed <13>Dec 21 07:50:03 rpmi: java-11-openjdk-headless-0:11.0.25.0.9-alt1 sisyphus+363864.200.2.1 1733149334 installed <13>Dec 21 07:50:04 rpmi: java-11-openjdk-0:11.0.25.0.9-alt1 sisyphus+363864.200.2.1 1733149334 installed <13>Dec 21 07:50:04 rpmi: java-11-openjdk-devel-0:11.0.25.0.9-alt1 sisyphus+363864.200.2.1 1733149334 installed <13>Dec 21 07:50:04 rpmi: jpackage-11-compat-0.43-alt1 sisyphus+338091.100.1.2 1705652445 installed <13>Dec 21 07:50:04 rpmi: unzip-6.0-alt6 sisyphus+359147.100.1.1 1728292808 installed <13>Dec 21 07:50:04 rpmi: ant-0:1.10.12-alt1_8jpp11 sisyphus+317214.100.1.1 1679497453 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/jgraph-5.12.1.0-alt2_2jpp6.nosrc.rpm (w1.gzdio) Installing jgraph-5.12.1.0-alt2_2jpp6.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.41283 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf jgraph-5.12.1.0 + /bin/mkdir -p jgraph-5.12.1.0 + cd jgraph-5.12.1.0 + echo 'Source #0 (jgraph-5.12.1.0-lgpl-src.jar):' Source #0 (jgraph-5.12.1.0-lgpl-src.jar): + /usr/bin/unzip -qq /usr/src/RPM/SOURCES/jgraph-5.12.1.0-lgpl-src.jar + /bin/chmod -c -Rf u+rwX,go-w . + echo 'Patch #0 (jgraph-5.12.1.0-javadoc-crosslink.patch):' Patch #0 (jgraph-5.12.1.0-javadoc-crosslink.patch): + /usr/bin/patch -p1 patching file build.xml + find -type f -name '*.jar' + xargs -t rm rm ./lib/jgraph.jar + perl -pi -e 's/\r$//g' LICENSE + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.41283 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd jgraph-5.12.1.0 + export CLASSPATH= + CLASSPATH= + export OPT_JAR_LIST=: + OPT_JAR_LIST=: + ant -Dant.build.javac.source=1.6 -Dant.build.javac.target=1.6 -Dbuild.sysclasspath=only Buildfile: /usr/src/RPM/BUILD/jgraph-5.12.1.0/build.xml init: [tstamp] Honouring environment variable SOURCE_DATE_EPOCH which has been set to 1625148681 [mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/build [mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/classes [mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/doc [mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/doc/api [mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/lib generate: [copy] Copying 58 files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src [copy] Copying 93 files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/examples checkversion: adapter: migrate: all: compile: [javac] Compiling 53 source files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/classes [javac] warning: [options] bootstrap class path not set in conjunction with -source 6 [javac] warning: [options] source value 6 is obsolete and will be removed in a future release [javac] warning: [options] target value 1.6 is obsolete and will be removed in a future release [javac] warning: [options] To suppress warnings about obsolete options, use -Xlint:-options. [javac] Note: Some input files use or override a deprecated API. [javac] Note: Recompile with -Xlint:deprecation for details. [javac] Note: Some input files use unchecked or unsafe operations. [javac] Note: Recompile with -Xlint:unchecked for details. [javac] 4 warnings apidoc: [copy] Copying 213 files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/doc [javadoc] Generating Javadoc [javadoc] Javadoc execution [javadoc] Loading source files for package org.jgraph... [javadoc] Loading source files for package org.jgraph.event... [javadoc] Loading source files for package org.jgraph.graph... [javadoc] Loading source files for package org.jgraph.plaf... [javadoc] Loading source files for package org.jgraph.plaf.basic... [javadoc] Loading source files for package org.jgraph.util... [javadoc] Constructing Javadoc information... [javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:101: warning: empty
tag [javadoc] *
[javadoc] ^ [javadoc] Standard Doclet version 11.0.25.1 [javadoc] Building tree for all the packages and classes... [javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphConstants.java:33: error: semicolon missing [javadoc] * http://sourceforge.net/forum/forum.php?thread_id=770111&forum_id=140880) [javadoc] ^ [javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/PortRenderer.java:24: error: tag not allowed here:
UIManager
that the L&F has changed.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:809: error: semicolon missing
[javadoc] * Returns the name of the L&F class that renders this component.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:826: warning: no @return
[javadoc] public Object[] getRoots() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:833: warning: no @param for clip
[javadoc] public Object[] getRoots(Rectangle clip) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:833: warning: no @return
[javadoc] public Object[] getRoots(Rectangle clip) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:845: warning: no @param for cells
[javadoc] public Object[] getDescendants(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:845: warning: no @return
[javadoc] public Object[] getDescendants(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:853: warning: no @param for cells
[javadoc] public Object[] order(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:853: warning: no @return
[javadoc] public Object[] order(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:862: warning: no @param for cells
[javadoc] public Map cloneCells(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:862: warning: no @return
[javadoc] public Map cloneCells(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:871: warning: no @param for x
[javadoc] public CellView getTopmostViewAt(double x, double y, boolean reverse,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:871: warning: no @param for y
[javadoc] public CellView getTopmostViewAt(double x, double y, boolean reverse,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:871: warning: no @param for reverse
[javadoc] public CellView getTopmostViewAt(double x, double y, boolean reverse,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:871: warning: no @param for leafsOnly
[javadoc] public CellView getTopmostViewAt(double x, double y, boolean reverse,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:871: warning: no @return
[javadoc] public CellView getTopmostViewAt(double x, double y, boolean reverse,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:908: warning: no @param for current
[javadoc] public Object getNextCellForLocation(Object current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:908: warning: no @param for x
[javadoc] public Object getNextCellForLocation(Object current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:908: warning: no @param for y
[javadoc] public Object getNextCellForLocation(Object current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:908: warning: no @return
[javadoc] public Object getNextCellForLocation(Object current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:919: warning: no @param for cell
[javadoc] public Rectangle2D getCellBounds(Object cell) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:919: warning: no @return
[javadoc] public Rectangle2D getCellBounds(Object cell) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:929: warning: no @param for cells
[javadoc] public Rectangle2D getCellBounds(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:929: warning: no @return
[javadoc] public Rectangle2D getCellBounds(Object[] cells) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:954: warning: no @param for current
[javadoc] public CellView getNextViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:954: warning: no @param for x
[javadoc] public CellView getNextViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:954: warning: no @param for y
[javadoc] public CellView getNextViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:954: warning: no @return
[javadoc] public CellView getNextViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:965: warning: no @param for current
[javadoc] public CellView getNextViewAt(CellView current, double x, double y,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:965: warning: no @param for x
[javadoc] public CellView getNextViewAt(CellView current, double x, double y,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:965: warning: no @param for y
[javadoc] public CellView getNextViewAt(CellView current, double x, double y,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:965: warning: no @param for leafsOnly
[javadoc] public CellView getNextViewAt(CellView current, double x, double y,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:965: warning: no @return
[javadoc] public CellView getNextViewAt(CellView current, double x, double y,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:975: warning: no @param for current
[javadoc] public CellView getNextSelectableViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:975: warning: no @param for x
[javadoc] public CellView getNextSelectableViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:975: warning: no @param for y
[javadoc] public CellView getNextSelectableViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:975: warning: no @return
[javadoc] public CellView getNextSelectableViewAt(CellView current, double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:986: warning: no @param for cells
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:986: warning: no @param for c
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:986: warning: no @param for x
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:986: warning: no @param for y
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:986: warning: no @return
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:996: warning: no @param for cells
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:996: warning: no @param for c
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:996: warning: no @param for x
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:996: warning: no @param for y
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:996: warning: no @param for leafsOnly
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:996: warning: no @return
[javadoc] public CellView getNextViewAt(CellView[] cells, CellView c, double x,
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1030: warning: no @param for x
[javadoc] public CellView getLeafViewAt(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1030: warning: no @param for y
[javadoc] public CellView getLeafViewAt(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1030: warning: no @return
[javadoc] public CellView getLeafViewAt(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1037: warning: no @param for x
[javadoc] public Object getPortForLocation(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1037: warning: no @param for y
[javadoc] public Object getPortForLocation(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1037: warning: no @return
[javadoc] public Object getPortForLocation(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1048: warning: no @param for x
[javadoc] public PortView getPortViewAt(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1048: warning: no @param for y
[javadoc] public PortView getPortViewAt(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1048: warning: no @return
[javadoc] public PortView getPortViewAt(double x, double y) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1056: warning: no @param for x
[javadoc] public PortView getPortViewAt(double x, double y, int tolerance) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1056: warning: no @param for y
[javadoc] public PortView getPortViewAt(double x, double y, int tolerance) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1056: warning: no @param for tolerance
[javadoc] public PortView getPortViewAt(double x, double y, int tolerance) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1056: warning: no @return
[javadoc] public PortView getPortViewAt(double x, double y, int tolerance) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1120: warning: no @param for value
[javadoc] public String convertValueToString(Object value) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1120: warning: no @return
[javadoc] public String convertValueToString(Object value) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1242: warning: no @param for view
[javadoc] public void updateAutoSize(CellView view) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1277: warning: no @param for cell
[javadoc] public AttributeMap getAttributes(Object cell) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1277: warning: no @return
[javadoc] public AttributeMap getAttributes(Object cell) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1294: warning: no @return
[javadoc] public int getEditClickCount() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1301: warning: no @param for count
[javadoc] public void setEditClickCount(int count) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1308: warning: no @return
[javadoc] public boolean isDropEnabled() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1315: warning: no @param for flag
[javadoc] public void setDropEnabled(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1322: warning: no @return
[javadoc] public boolean isXorEnabled() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1329: warning: no @param for flag
[javadoc] public void setXorEnabled(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1336: warning: no @return
[javadoc] public boolean isDragEnabled() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1343: warning: no @param for flag
[javadoc] public void setDragEnabled(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1357: warning: no @param for flag
[javadoc] public void setMoveable(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1364: warning: no @return
[javadoc] public boolean isBendable() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1371: warning: no @param for flag
[javadoc] public void setBendable(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1378: warning: no @return
[javadoc] public boolean isConnectable() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1385: warning: no @param for flag
[javadoc] public void setConnectable(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1392: warning: no @return
[javadoc] public boolean isDisconnectable() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1399: warning: no @param for flag
[javadoc] public void setDisconnectable(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1406: warning: no @return
[javadoc] public boolean isCloneable() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1413: warning: no @param for flag
[javadoc] public void setCloneable(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1420: warning: no @return
[javadoc] public boolean isSizeable() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1427: warning: no @param for flag
[javadoc] public void setSizeable(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1435: warning: no @param for flag
[javadoc] public void setDisconnectOnMove(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1443: warning: no @return
[javadoc] public boolean isDisconnectOnMove() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1451: warning: no @param for flag
[javadoc] public void setJumpToDefaultPort(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1459: warning: no @return
[javadoc] public boolean isJumpToDefaultPort() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1467: warning: no @param for flag
[javadoc] public void setMoveIntoGroups(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1475: warning: no @return
[javadoc] public boolean isMoveIntoGroups() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1483: warning: no @param for flag
[javadoc] public void setMoveOutOfGroups(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1491: warning: no @return
[javadoc] public boolean isMoveOutOfGroups() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1501: warning: no @return
[javadoc] public boolean isGridEnabled() {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/JGraph.java:1511: warning: no @param for flag
[javadoc] public void setGridEnabled(boolean flag) {
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphSelectionModel.java:116: error: bad HTML entity
[javadoc] * This implementation returns childrenSelectable
&&
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphSelectionModel.java:116: error: bad HTML entity
[javadoc] * This implementation returns childrenSelectable
&&
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/event/GraphSelectionEvent.java:108: error: malformed HTML
[javadoc] * if index < 0 || >=getPaths
.length.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/event/GraphSelectionEvent.java:108: error: bad use of '>'
[javadoc] * if index < 0 || >=getPaths
.length.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/ConnectionSet.java:307: error: bad HTML entity
[javadoc] * c1.edge == c2.edge && c1.isSource == c2.isSource.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/ConnectionSet.java:307: error: bad HTML entity
[javadoc] * c1.edge == c2.edge && c1.isSource == c2.isSource.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphCellEditor.java:299: error: bad use of '>'
[javadoc] * with a click count > 2 and inHitRegion returns true.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphCellEditor.java:314: error: malformed HTML
[javadoc] * x
is <= the width of the icon and icon gap displayed
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:41: error: bad use of '>'
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:41: error: bad HTML entity
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:41: error: bad HTML entity
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:41: error: malformed HTML
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:179: error: bad use of '>'
[javadoc] * valid index for parent (that is index >= 0 && index
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:179: error: bad HTML entity
[javadoc] * valid index for parent (that is index >= 0 && index
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:179: error: bad HTML entity
[javadoc] * valid index for parent (that is index >= 0 && index
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphModel.java:180: error: malformed HTML
[javadoc] * < getChildCount( parent )).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:142: error: bad use of '>'
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:142: error: bad HTML entity
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:142: error: bad HTML entity
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:142: error: malformed HTML
[javadoc] * index >= 0 && index < getRootCount()).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:425: error: bad use of '>'
[javadoc] * valid index for parent (that is index >= 0 && index
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:425: error: bad HTML entity
[javadoc] * valid index for parent (that is index >= 0 && index
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:425: error: bad HTML entity
[javadoc] * valid index for parent (that is index >= 0 && index
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:426: error: malformed HTML
[javadoc] * < getChildCount( parent )).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:1647: error: unknown tag: model
[javadoc] * port
in model.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:1647: error: element not closed: code
[javadoc] * port
in model.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:1655: error: unknown tag: model
[javadoc] * port
in model.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/DefaultGraphModel.java:1655: error: element not closed: code
[javadoc] * port
in model.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/graph/GraphConstants.java:613: error: malformed HTML
[javadoc] * Replace the keys in map
using keyMap
map
using keyMap
'
[javadoc] * scheme when written to the command history (-> no undo).
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/plaf/basic/BasicGraphUI.java:2158: error: bad use of '>'
[javadoc] * isDragging => isMoving.
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/util/Spline2D.java:99: error: malformed HTML
[javadoc] * @param t 0 <= t <= 1
[javadoc] ^
[javadoc] /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/src/org/jgraph/util/Spline2D.java:99: error: malformed HTML
[javadoc] * @param t 0 <= t <= 1
[javadoc] ^
[javadoc] Building index for all the packages and classes...
[javadoc] Building index for all classes...
[javadoc] Building index for all classes...
[javadoc] Generating /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/doc/api/help-doc.html...
[javadoc] 46 errors
[javadoc] 100 warnings
doc:
jar:
[jar] Building jar: /usr/src/RPM/BUILD/jgraph-5.12.1.0/build/lib/jgraph.jar
build:
dist:
[mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist
[mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0
[copy] Copying 1 file to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0
[copy] Copying 1 file to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0
[copy] Copying 1 file to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0
[copy] Copying 1 file to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0
[copy] Copying 1 file to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0/lib
[copy] Copying 245 files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0/doc
[mkdir] Created dir: /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0/examples
[copy] Copying 93 files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0/examples
[zip] Building zip: /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0.zip
[copy] Copying 343 files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0-src
[copy] Copying 58 files to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0-src/src
[copy] Copying 1 file to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0-src
[copy] Copying 1 file to /usr/src/RPM/BUILD/jgraph-5.12.1.0/dist/jgraph-5.12.1.0-src
all:
BUILD SUCCESSFUL
Total time: 4 seconds
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.25563
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/jgraph-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/jgraph-buildroot
+ PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games
+ cd jgraph-5.12.1.0
+ mkdir -p /usr/src/tmp/jgraph-buildroot/usr/share/java
+ cp -p build/lib/jgraph.jar /usr/src/tmp/jgraph-buildroot/usr/share/java/jgraph-5.12.1.0.jar
+ cd /usr/src/tmp/jgraph-buildroot/usr/share/java
+ for jar in *-5.12.1.0.jar
++ echo jgraph-5.12.1.0.jar
++ sed 's|-5.12.1.0||g'
+ ln -sf jgraph-5.12.1.0.jar jgraph.jar
+ mkdir -p /usr/src/tmp/jgraph-buildroot/usr/share/javadoc/jgraph-5.12.1.0
+ cp -pr build/doc/api/allclasses-frame.html build/doc/api/allclasses-index.html build/doc/api/allclasses-noframe.html build/doc/api/allclasses.html build/doc/api/allpackages-index.html build/doc/api/constant-values.html build/doc/api/deprecated-list.html build/doc/api/element-list build/doc/api/help-doc.html build/doc/api/index-all.html build/doc/api/index.html build/doc/api/jquery build/doc/api/jquery-ui.overrides.css build/doc/api/legal build/doc/api/member-search-index.js build/doc/api/member-search-index.zip build/doc/api/org build/doc/api/overview-frame.html build/doc/api/overview-summary.html build/doc/api/overview-tree.html build/doc/api/package-list build/doc/api/package-search-index.js build/doc/api/package-search-index.zip build/doc/api/packages.html build/doc/api/resources build/doc/api/script.js build/doc/api/search.js build/doc/api/serialized-form.html build/doc/api/stylesheet.css build/doc/api/type-search-index.js build/doc/api/type-search-index.zip /usr/src/tmp/jgraph-buildroot/usr/share/javadoc/jgraph-5.12.1.0
+ ln -s jgraph-5.12.1.0 /usr/src/tmp/jgraph-buildroot/usr/share/javadoc/jgraph
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/jgraph-buildroot (auto)
Verifying and fixing files in /usr/src/tmp/jgraph-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig)
Checking contents of files in /usr/src/tmp/jgraph-buildroot/ (default)
Compressing files in /usr/src/tmp/jgraph-buildroot (auto)
Verifying ELF objects in /usr/src/tmp/jgraph-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal)
Splitting links to aliased files under /{,s}bin in /usr/src/tmp/jgraph-buildroot
Processing files: jgraph-5.12.1.0-alt2_2jpp6
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.25563
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd jgraph-5.12.1.0
+ DOCDIR=/usr/src/tmp/jgraph-buildroot/usr/share/doc/jgraph-5.12.1.0
+ export DOCDIR
+ rm -rf /usr/src/tmp/jgraph-buildroot/usr/share/doc/jgraph-5.12.1.0
+ /bin/mkdir -p /usr/src/tmp/jgraph-buildroot/usr/share/doc/jgraph-5.12.1.0
+ cp -prL LICENSE /usr/src/tmp/jgraph-buildroot/usr/share/doc/jgraph-5.12.1.0
+ chmod -R go-w /usr/src/tmp/jgraph-buildroot/usr/share/doc/jgraph-5.12.1.0
+ chmod -R a+rX /usr/src/tmp/jgraph-buildroot/usr/share/doc/jgraph-5.12.1.0
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.R4uJQC
find-provides: running scripts (alternatives,debuginfo,lib,maven,osgi-fc,pam,perl,pkgconfig,python,python3,shell)
/usr/lib/python3/site-packages/javapackages/maven/artifact.py:194: SyntaxWarning: invalid escape sequence '\$'
prog = re.compile("\$\{([^}]+)\}")
[INFO osgi.prov] input: ['/usr/src/tmp/jgraph-buildroot/usr/share/java/jgraph-5.12.1.0.jar', '/usr/src/tmp/jgraph-buildroot/usr/share/java/jgraph.jar']
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.rxOpGh
find-requires: running scripts (cpp,debuginfo,files,javadoc,lib,maven,osgi-fc,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
/usr/lib/python3/site-packages/javapackages/maven/artifact.py:194: SyntaxWarning: invalid escape sequence '\$'
prog = re.compile("\$\{([^}]+)\}")
[INFO osgi.req] input: ['/usr/src/tmp/jgraph-buildroot/usr/share/java/jgraph-5.12.1.0.jar', '/usr/src/tmp/jgraph-buildroot/usr/share/java/jgraph.jar']
Processing files: jgraph-javadoc-5.12.1.0-alt2_2jpp6
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ISERUR
find-provides: running scripts (alternatives,debuginfo,lib,maven,osgi-fc,pam,perl,pkgconfig,python,python3,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.8XETix
find-requires: running scripts (cpp,debuginfo,files,javadoc,lib,maven,osgi-fc,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services)
Requires: javapackages-filesystem
Wrote: /usr/src/RPM/RPMS/noarch/jgraph-5.12.1.0-alt2_2jpp6.noarch.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/noarch/jgraph-javadoc-5.12.1.0-alt2_2jpp6.noarch.rpm (w2.lzdio)
13.19user 1.93system 0:09.30elapsed 162%CPU (0avgtext+0avgdata 163676maxresident)k
0inputs+0outputs (0major+241650minor)pagefaults 0swaps
3.91user 2.87system 0:26.90elapsed 25%CPU (0avgtext+0avgdata 131288maxresident)k
0inputs+0outputs (0major+240740minor)pagefaults 0swaps
--- jgraph-5.12.1.0-alt2_2jpp6.noarch.rpm.repo 2021-07-01 14:12:28.000000000 +0000
+++ jgraph-5.12.1.0-alt2_2jpp6.noarch.rpm.hasher 2024-12-21 07:50:17.892562831 +0000
@@ -8,4 +8,4 @@
File: /usr/share/doc/jgraph-5.12.1.0/LICENSE 100644 root:root a1cff2205ee57ab442c3420dcc723f48
-File: /usr/share/java/jgraph-5.12.1.0.jar 100644 root:root e5f5b9c2392ef308d685d429869f8354
+File: /usr/share/java/jgraph-5.12.1.0.jar 100644 root:root 8e7a685efe6876c861afd76eb9700a58
File: /usr/share/java/jgraph.jar 120777 root:root jgraph-5.12.1.0.jar
-RPMIdentity: 9910193054ae8b6d83c576583ce61b8f460bc132aebf519469ca0b1e1e03a404b420c783a66e1d3805be5dfe52ca33c400970969b3e96cd2f310c773edbd755e
+RPMIdentity: 0605349e9086a5228ac79dde6a3b664d24d9764b4a8fb03ae563fbd52695d323dff2ad28a09bb2ee52a2f3fb58f85d3c5596e937148786a864ad9129fb8a7b1f
--- jgraph-javadoc-5.12.1.0-alt2_2jpp6.noarch.rpm.repo 2021-07-01 14:12:28.000000000 +0000
+++ jgraph-javadoc-5.12.1.0-alt2_2jpp6.noarch.rpm.hasher 2024-12-21 07:50:17.985564255 +0000
@@ -14,2 +14,3 @@
/usr/share/javadoc/jgraph-5.12.1.0/jquery 40755 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/jquery-ui.overrides.css 100644 root:root
/usr/share/javadoc/jgraph-5.12.1.0/jquery/external 40755 root:root
@@ -17,21 +18,5 @@
/usr/share/javadoc/jgraph-5.12.1.0/jquery/external/jquery/jquery.js 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images 40755 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_55_fbf9ee_1x400.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_65_dadada_1x400.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_75_dadada_1x400.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_75_e6e6e6_1x400.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_95_fef1ec_1x400.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_highlight-soft_75_cccccc_1x100.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_222222_256x240.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_2e83ff_256x240.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_454545_256x240.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_888888_256x240.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_cd0a0a_256x240.png 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-3.5.1.js 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.css 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.js 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-3.7.1.min.js 100644 root:root
/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.min.css 100644 root:root
/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.min.js 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.structure.css 100644 root:root
-/usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.structure.min.css 100644 root:root
/usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip 40755 root:root
@@ -46,2 +31,10 @@
/usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip/dist/jszip.min.js 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal 40755 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal/ADDITIONAL_LICENSE_INFO 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal/ASSEMBLY_EXCEPTION 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal/LICENSE 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal/jquery.md 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal/jqueryUI.md 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal/jszip.md 100644 root:root
+/usr/share/javadoc/jgraph-5.12.1.0/legal/pako.md 100644 root:root
/usr/share/javadoc/jgraph-5.12.1.0/member-search-index.js 100644 root:root
@@ -272,2 +265,3 @@
/usr/share/javadoc/jgraph-5.12.1.0/type-search-index.zip 100644 root:root
+Requires: javapackages-filesystem
Requires: rpmlib(PayloadIsLzma)
@@ -277,13 +271,14 @@
File: /usr/share/javadoc/jgraph-5.12.1.0/allclasses-frame.html 100644 root:root 13bebb2e7e913841abc93dbf324b3056
-File: /usr/share/javadoc/jgraph-5.12.1.0/allclasses-index.html 100644 root:root c281c9456cf8425892112c850049b54b
+File: /usr/share/javadoc/jgraph-5.12.1.0/allclasses-index.html 100644 root:root 8b67830fc848ed02dc69b2e81624a26b
File: /usr/share/javadoc/jgraph-5.12.1.0/allclasses-noframe.html 100644 root:root 23a94e043eaf4161be25091de44df14e
-File: /usr/share/javadoc/jgraph-5.12.1.0/allclasses.html 100644 root:root 9493b48b0de3bf7459283d056ca2e252
-File: /usr/share/javadoc/jgraph-5.12.1.0/allpackages-index.html 100644 root:root cfd30e2625a559bbf76303b39bd6aef1
-File: /usr/share/javadoc/jgraph-5.12.1.0/constant-values.html 100644 root:root 530b651dce89bb111adf6d0baa05e917
-File: /usr/share/javadoc/jgraph-5.12.1.0/deprecated-list.html 100644 root:root d564261137d1e381d3a1957d06930da5
+File: /usr/share/javadoc/jgraph-5.12.1.0/allclasses.html 100644 root:root 17d2ac3e6ef2dd546dfdd0736719d8ff
+File: /usr/share/javadoc/jgraph-5.12.1.0/allpackages-index.html 100644 root:root b2d66b244e5236574f7c1cad9fadad80
+File: /usr/share/javadoc/jgraph-5.12.1.0/constant-values.html 100644 root:root 7ff6418969c0ee1aeec5584313fdcd4b
+File: /usr/share/javadoc/jgraph-5.12.1.0/deprecated-list.html 100644 root:root a50cfb7aec38fdd52aebc133294f564c
File: /usr/share/javadoc/jgraph-5.12.1.0/element-list 100644 root:root a065a803c4cdee4ad32e8b9fe806f778
-File: /usr/share/javadoc/jgraph-5.12.1.0/help-doc.html 100644 root:root 203308e6e37ccc65715a5db079a1d412
-File: /usr/share/javadoc/jgraph-5.12.1.0/index-all.html 100644 root:root d1a48e9cdafe3de0b6cc4a095fee89be
-File: /usr/share/javadoc/jgraph-5.12.1.0/index.html 100644 root:root 725541431550a168bd48dc07be68fa01
+File: /usr/share/javadoc/jgraph-5.12.1.0/help-doc.html 100644 root:root d5a5336e9ecd7eac00883a1139567e24
+File: /usr/share/javadoc/jgraph-5.12.1.0/index-all.html 100644 root:root b81327d2e3c6b66cc76b226be25ce378
+File: /usr/share/javadoc/jgraph-5.12.1.0/index.html 100644 root:root 8450325ebd494a732e6200a1b73adfdf
File: /usr/share/javadoc/jgraph-5.12.1.0/jquery 40755 root:root
+File: /usr/share/javadoc/jgraph-5.12.1.0/jquery-ui.overrides.css 100644 root:root ed834ebbc7af2416fa54cd4cdcbfc758
File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/external 40755 root:root
@@ -291,21 +286,5 @@
File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/external/jquery/jquery.js 100644 root:root 23c7c5d2d1317508e807a6c7f777d6ed
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_55_fbf9ee_1x400.png 100644 root:root e19810dc330f3f67b6a98867d10f0943
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_65_dadada_1x400.png 100644 root:root a17c3e9cbdc63c61fa2a55ae2cd9148f
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_75_dadada_1x400.png 100644 root:root 8fe0f6bdbbae492bd0d152e1d6d5be9a
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_75_e6e6e6_1x400.png 100644 root:root df4d9a4f002e83e2ce897d94843ce8e2
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_glass_95_fef1ec_1x400.png 100644 root:root ed57906160f3b2797618486efaa415dd
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-bg_highlight-soft_75_cccccc_1x100.png 100644 root:root a742bf233713db2114d6576752c9e6da
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_222222_256x240.png 100644 root:root 3861e9eb08528ed839cf22c3d51e2042
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_2e83ff_256x240.png 100644 root:root 18fbb5e53600e6deea5870799c7319a4
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_454545_256x240.png 100644 root:root 94c724823374be623fd19618399116e5
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_888888_256x240.png 100644 root:root 5b2c08ae1ffe76987b1ceb831c982c44
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/images/ui-icons_cd0a0a_256x240.png 100644 root:root 6e8da81c268f3800fc0e1f4264551079
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-3.5.1.js 100644 root:root 23c7c5d2d1317508e807a6c7f777d6ed
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.css 100644 root:root c5fa4dfa6f05102a7b0347a80b2e571b
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.js 100644 root:root 3e34f50eab2e13d720c93e44ac5cb7ca
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.min.css 100644 root:root 8a57aadc8c5f75e51925400feebfddb9
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.min.js 100644 root:root 28d157e58272e91b054c254eab737df0
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.structure.css 100644 root:root aa1b195f79526bdbbdcf5dfd4da11420
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.structure.min.css 100644 root:root 9866d098e3635783d76e4cf4bb82c11c
+File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-3.7.1.min.js 100644 root:root 2c872dbe60f4ba70fb85356113d8b35e
+File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.min.css 100644 root:root 494bd99adb92270690f73c6d04e866fd
+File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jquery-ui.min.js 100644 root:root a443ef25e4d347d30d3222a401f9ae54
File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip 40755 root:root
@@ -318,219 +297,227 @@
File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip/dist 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip/dist/jszip.js 100644 root:root 445655f2b60614c242f0c073c319ebd3
-File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip/dist/jszip.min.js 100644 root:root dc5d2aac976b1ad09faa452b4ce37519
+File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip/dist/jszip.js 100644 root:root dcb2fc4e03341487049b77f729168b56
+File: /usr/share/javadoc/jgraph-5.12.1.0/jquery/jszip/dist/jszip.min.js 100644 root:root cb96c77f2c57e474a42dda919bcd6c1b
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal 40755 root:root
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal/ADDITIONAL_LICENSE_INFO 100644 root:root 71bb3ad0017bf36d14bb96a8d4b32c45
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal/ASSEMBLY_EXCEPTION 100644 root:root d94f7c92ff61c5d3f8e9433f76e39f74
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal/LICENSE 100644 root:root 3e0b59f8fac05c3c03d4a26bbda13f8f
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal/jquery.md 100644 root:root 5daa40e32e181acdfb0ed07d207d4414
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal/jqueryUI.md 100644 root:root 86bfe7b4e5cbedc085060a2c3f13febe
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal/jszip.md 100644 root:root fd057db0511ee99a5e0736fc8129956d
+File: /usr/share/javadoc/jgraph-5.12.1.0/legal/pako.md 100644 root:root 565535ee130cc2bd98e198ea0f623b82
File: /usr/share/javadoc/jgraph-5.12.1.0/member-search-index.js 100644 root:root 93d7234a6a0b180af333a6520b7a224d
-File: /usr/share/javadoc/jgraph-5.12.1.0/member-search-index.zip 100644 root:root 16961f3d44d1aa4c6bc2e287f8286e84
+File: /usr/share/javadoc/jgraph-5.12.1.0/member-search-index.zip 100644 root:root 6c0f66f75f1ab92196afbf07d10303b4
File: /usr/share/javadoc/jgraph-5.12.1.0/org 40755 root:root
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/JGraph.EmptySelectionModel.html 100644 root:root 89f05b31e2fc6703b3029320bde1fbe4
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/JGraph.GraphSelectionRedirector.html 100644 root:root c8406a845c24b6d1ff437ead958b41ef
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/JGraph.html 100644 root:root 6330f13cf25f28e9e6d50264909f921b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/JGraph.EmptySelectionModel.html 100644 root:root 8f4cfa554b7cd675cacd34ab1fbdf356
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/JGraph.GraphSelectionRedirector.html 100644 root:root 938822d3cb8568e78d66a571708f4035
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/JGraph.html 100644 root:root e51fc010fe402c59d7083889d557f5fd
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/class-use 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/class-use/JGraph.EmptySelectionModel.html 100644 root:root b150d2ed33aafe4e72ca6bc8b6622be5
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/class-use/JGraph.GraphSelectionRedirector.html 100644 root:root d49e8ee7f427052855bf27968b55ac0c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/class-use/JGraph.html 100644 root:root c03c324c1db45b55cb0bf3e8eabc86f7
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/class-use/JGraph.EmptySelectionModel.html 100644 root:root bf6e921126411d5823c81de7aeb73b3f
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/class-use/JGraph.GraphSelectionRedirector.html 100644 root:root 3ab966e2bc903ab28e0cc6de677d459a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/class-use/JGraph.html 100644 root:root 9db607c55ec73d936d3655f728e3004e
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphLayoutCacheEvent.GraphLayoutCacheChange.html 100644 root:root 4a4484a68e5cf0243d621c996deeeb15
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphLayoutCacheEvent.html 100644 root:root f58785eb5d4538bb0ab2736748e27a5e
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphLayoutCacheListener.html 100644 root:root 27e07312f54d1ff10f051635e04fbcdd
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphModelEvent.GraphModelChange.html 100644 root:root 4440e33ef8f51586c7564825b335c891
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphModelEvent.html 100644 root:root b35a3c13c5b4973d421cf8d5e1fd0e92
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphModelListener.html 100644 root:root 9e5b1e079df29f9d7a00ae60de25e960
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphSelectionEvent.html 100644 root:root c13ce80042c4ec9f0ea722c1775c1b51
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphSelectionListener.html 100644 root:root 5c76a42aab70490e44da3989d2451073
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphLayoutCacheEvent.GraphLayoutCacheChange.html 100644 root:root 92545aad306069240ba198d1835bdc9e
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphLayoutCacheEvent.html 100644 root:root 925eb28aae59971d025bf410dc016e84
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphLayoutCacheListener.html 100644 root:root 234fbbdb7f3deae337d92b7ca5fbc761
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphModelEvent.GraphModelChange.html 100644 root:root 15fda9139a9e91029d8318bc3d55f013
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphModelEvent.html 100644 root:root 8849959699e37666cbc59c19233a8d55
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphModelListener.html 100644 root:root 67d3937e1c223623f9b3efab6233b333
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphSelectionEvent.html 100644 root:root 5a5c6fb1205b1e6aecdf364fac63223d
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/GraphSelectionListener.html 100644 root:root 6fb88c635e636dece071b0d20ff38571
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphLayoutCacheEvent.GraphLayoutCacheChange.html 100644 root:root 65b3d332e7b9c4b575bf73326f5e7766
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphLayoutCacheEvent.html 100644 root:root a129bd87ca37d01ba0df94a21ef75396
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphLayoutCacheListener.html 100644 root:root e097e3e15412bd4da77f2ca37063e9a5
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphModelEvent.GraphModelChange.html 100644 root:root 8a1253bd4f6b15d5e569d91d2a078337
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphModelEvent.html 100644 root:root 4555a6b3b017e07f3c2d2bb27bce455f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphModelListener.html 100644 root:root 3a4b6c8e2bc010a1304b4a8ad097a47e
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphSelectionEvent.html 100644 root:root ae7da877300806d0b3a81b877d49e184
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphSelectionListener.html 100644 root:root 75bca9bbd75b728eafa56b0569247682
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphLayoutCacheEvent.GraphLayoutCacheChange.html 100644 root:root 1b9947c0de59f8f99178ef6c88909b06
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphLayoutCacheEvent.html 100644 root:root 5525522a311152eae2f1edb721d29482
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphLayoutCacheListener.html 100644 root:root 89c7b3819bf7fb2a70b4bce507d26789
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphModelEvent.GraphModelChange.html 100644 root:root 497df0f8344cf44dfc4ebba35bb1191a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphModelEvent.html 100644 root:root 20bcbc2278ee6921cae1094cdc8573d1
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphModelListener.html 100644 root:root 6990617b35a707e4e82b7fb4a646a95d
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphSelectionEvent.html 100644 root:root aded60f66c4e614e65402c08022e4792
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/class-use/GraphSelectionListener.html 100644 root:root 4b1b76d97157462ff2b1ec56bab22caa
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/package-frame.html 100644 root:root af98b25008fef3d860ba0346dbd1c4c7
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/package-summary.html 100644 root:root 1df9127af166cab412e0e37ad625abeb
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/package-tree.html 100644 root:root 7894c72302e8625737c6a43e5efc7715
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/package-use.html 100644 root:root 7ad0d7ddd764c8e468be1539bb764009
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/package-summary.html 100644 root:root 6a1aca0809317758478de5d56c0eed55
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/package-tree.html 100644 root:root 8d1789feed0f8a0be5f7cc369a685721
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/event/package-use.html 100644 root:root d8a12ded46a87bd39b534ae0327ae408
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AbstractCellView.html 100644 root:root 20dcd4a441cca272451da737be6d1ed9
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AttributeMap.SerializablePoint2D.html 100644 root:root 75f4e920424ed010907badac95564220
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AttributeMap.SerializableRectangle2D.html 100644 root:root 79123059ae22c5d09abb8849ba098d20
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AttributeMap.html 100644 root:root 848eba9c508d532d1fa4c602376f171f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/BasicMarqueeHandler.html 100644 root:root 83b5f4c8fc93e517d7106b08068140f1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellHandle.html 100644 root:root bc5e671f5bc62dca2c4e8ac282fd2c45
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellMapper.html 100644 root:root bbce4900b57263196417b9043dd5c2fd
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellView.html 100644 root:root f649002db6a168fddfa325071c94ad7a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellViewFactory.html 100644 root:root 81b1ed394dc3f3ce76ff3d0d7b806ee2
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellViewRenderer.html 100644 root:root 64779b4a81cfb44d31cbd8f64753ebc3
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ConnectionSet.Connection.html 100644 root:root cbe78c247dc593d9e4602aaa40282779
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ConnectionSet.html 100644 root:root afa435ea28f116e6c6be3a90c03bee84
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultCellViewFactory.html 100644 root:root 4a966d18d9e4fc07182dd7f8937e3df8
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultEdge.DefaultRouting.html 100644 root:root d2df07ced964cfb4c4a4b714aa5f6a05
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultEdge.LoopRouting.html 100644 root:root 11bbeac1d7b9b16b5b2997a88c651899
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultEdge.html 100644 root:root f94438c2e2fb116485229d8b174ba70a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCell.html 100644 root:root 9f55cd50951420a73219298acb42c220
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCellEditor.DefaultTextField.html 100644 root:root ea774aa667466fbe46eed7f38c222550
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCellEditor.EditorContainer.html 100644 root:root c1f37d043e503fd82320b951f9f9c27c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCellEditor.html 100644 root:root 669e358b6d7b6f3ece3445862047279f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.EmptyIterator.html 100644 root:root 8a3fb556ab14caae218fb83dec852c9b
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.GraphModelEdit.html 100644 root:root 6821bc964736034c695ce5e88e6112c8
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.GraphModelLayerEdit.html 100644 root:root 292b2d06566301fc536c4e9800cbab15
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.html 100644 root:root 28303bb07654f2438c8c52737e45000a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphSelectionModel.CellPlaceHolder.html 100644 root:root e1d1979da171e4e4fc63b61b045c25e8
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphSelectionModel.html 100644 root:root 5e689d75ec2a97861d4ee4b49b9fba69
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultPort.html 100644 root:root ba12c08b583a9884160c5801693bc7a9
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultRealEditor.html 100644 root:root f5d904cdcc987716078e017fc30fb889
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/Edge.Routing.html 100644 root:root 29eb26a34974cbdab9f6b3f981a1b5e4
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/Edge.html 100644 root:root f7ce8ce02da9d4177b0c2f0b85338dc1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/EdgeRenderer.html 100644 root:root 85d1237823afae20d6c3380c551f5512
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/EdgeView.EdgeHandle.html 100644 root:root 19c262ad064bdb581a3b4b328f18fa3f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/EdgeView.html 100644 root:root 10c6405928caf06b446a366de1d2e687
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ExecutableChange.html 100644 root:root 1fa262d4cef448ff216c9fb80028e0cd
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphCell.html 100644 root:root 6647d335f95f33be630e0eeb3752395c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphCellEditor.html 100644 root:root bc788ef309d17c91c46f9c81da97a50e
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphConstants.html 100644 root:root 1b626713c398727f16748821aa5ca56f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphContext.html 100644 root:root 16444afeb99a273a346ef18547535495
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphLayoutCache.GraphLayoutCacheEdit.html 100644 root:root ba0968bea299fa81ef0efaa18040efc7
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphLayoutCache.html 100644 root:root d32d4c772d53ec450b92f8d170c3e9d1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphModel.html 100644 root:root 9cdd5d21be0068f72103d4305d27121c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphSelectionModel.html 100644 root:root 73bccd360daca01fac5d8088de37ebea
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphTransferHandler.html 100644 root:root d47eb1b20fad970c74987e2ada65bea1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphTransferable.html 100644 root:root 366bb622609d0ae0023cac01f22787e9
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphUndoManager.html 100644 root:root 426c6f17b696e664da65c1d4a62fedfb
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ParentMap.Entry.html 100644 root:root c9f5f143b167ce3bd2ef2663d6f33aa4
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ParentMap.html 100644 root:root 7be15ee3ca82433fbdea52e4ba6ebf11
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/Port.html 100644 root:root 71174d4c15de5fd19b112cfd119b1305
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/PortRenderer.html 100644 root:root acad894c435688233c2a2ffcc698535e
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/PortView.html 100644 root:root 25ff4b0e488c461678ba692b2f66dd3f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/VertexRenderer.html 100644 root:root 927fb666168ec618c3cc821650d3408a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/VertexView.SizeHandle.html 100644 root:root 360ffbdfa5a78e7135257fa3edc8f0fa
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/VertexView.html 100644 root:root e93b44ea16438b3171e70cc9e22944f4
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AbstractCellView.html 100644 root:root b64256e79ff4bd1fa7a0cc8701f4b9fa
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AttributeMap.SerializablePoint2D.html 100644 root:root a27b3622b24a1c6ff0035e591b16fb7e
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AttributeMap.SerializableRectangle2D.html 100644 root:root 3404f397fd9810a734eb38a6abaafa83
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/AttributeMap.html 100644 root:root 9312608e27c1195fa74f55db601295f4
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/BasicMarqueeHandler.html 100644 root:root b495faece395b329020f671aa79ec2ea
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellHandle.html 100644 root:root 49c2dd6a08d735edbde8f5a120d47bf0
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellMapper.html 100644 root:root da40bc6b8f961c3a4ee1b318997acac2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellView.html 100644 root:root 84100a19a971d3b86bc9b68c41b3ddd1
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellViewFactory.html 100644 root:root de934b412c134a2f249d493b350507be
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/CellViewRenderer.html 100644 root:root d6cd090954a238d54d60ee00e7e44524
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ConnectionSet.Connection.html 100644 root:root 7f46b99bf16533d7dbcb5bcccf3dd2af
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ConnectionSet.html 100644 root:root 01c89ec58fe8f953f42d0cad9c090b22
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultCellViewFactory.html 100644 root:root d78b72c829121de63d4187744aafcd9d
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultEdge.DefaultRouting.html 100644 root:root c7333587aded49dac8caae23457ce069
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultEdge.LoopRouting.html 100644 root:root bfe8cd7349fad3eedd92e145585f1ed4
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultEdge.html 100644 root:root 7671df7306cab43ed52c5bbb00d63227
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCell.html 100644 root:root bc4c19817025aa5aa8541588be2cf2d6
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCellEditor.DefaultTextField.html 100644 root:root a430abc4030024ffa80d4f6483919bf9
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCellEditor.EditorContainer.html 100644 root:root d2a5741f8c0245e5af6cc785b70038da
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphCellEditor.html 100644 root:root eea411c8e508c53d75b17910c2e2f473
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.EmptyIterator.html 100644 root:root 60a3d5ad00fefaa5af621eb6b9474899
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.GraphModelEdit.html 100644 root:root 607992bc9cab39cea7be15059343799a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.GraphModelLayerEdit.html 100644 root:root 415e52e87f5d8751a045f16d7d12e86f
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphModel.html 100644 root:root 19f24ea23efe995584f08e9feb9ae29e
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphSelectionModel.CellPlaceHolder.html 100644 root:root 016bd71c211d7bda508dbb3df199242a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultGraphSelectionModel.html 100644 root:root f0f36af25fbf0e0045276e43df62a505
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultPort.html 100644 root:root cccebe1afde0f5dbd308dbb4d0b0e8dc
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/DefaultRealEditor.html 100644 root:root ffe3e029f73e0a35227a0c9e80af095d
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/Edge.Routing.html 100644 root:root 7fb2b1e04c1797f9f7b3a8c1daba9dcd
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/Edge.html 100644 root:root b0ce9c956534c4c81502794d067d5749
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/EdgeRenderer.html 100644 root:root 16d3c13923ea61bd7065ac94d3256523
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/EdgeView.EdgeHandle.html 100644 root:root e97646b1d915a05a121fe32fb1af5169
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/EdgeView.html 100644 root:root c4b85c51eab99b7b2f1095eebb1df42b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ExecutableChange.html 100644 root:root a963cbc94cddb6a96c47af75f7290d0a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphCell.html 100644 root:root f3d75ee4dc203c1c2f1a2c25d656da93
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphCellEditor.html 100644 root:root 0c803bae61e59c32dea3225f3d3b0827
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphConstants.html 100644 root:root eb8cd742be9543a50185c46f0093ec2b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphContext.html 100644 root:root 7a71285cc5ae5b9812b9bafa2213d1dc
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphLayoutCache.GraphLayoutCacheEdit.html 100644 root:root 9016b3978c1460ade4e5f13f13faf890
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphLayoutCache.html 100644 root:root 489f8b3fa3ff6693a88cf8321c205715
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphModel.html 100644 root:root fe7a964d6281848129382c7e10b371b3
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphSelectionModel.html 100644 root:root 9469c184925e346a004d3941ab78e74f
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphTransferHandler.html 100644 root:root 131927d22308aec79231d10516c5d8d2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphTransferable.html 100644 root:root 5c6f924b46c8ce06ed965b56045b3aac
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/GraphUndoManager.html 100644 root:root 83da02830ac75cb7abbceb6bbdc7b4be
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ParentMap.Entry.html 100644 root:root 47232fd49ac28721c91ef155278986dc
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/ParentMap.html 100644 root:root 107b152d8ebc5391d2be0b0de1b8d3a6
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/Port.html 100644 root:root bae4a26d9e77d7d2d8c0099912293c4f
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/PortRenderer.html 100644 root:root 42d4841f83d247f6586277ca7c2d09b4
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/PortView.html 100644 root:root 87c1a3593a9b6e48f3d525811f28c381
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/VertexRenderer.html 100644 root:root 35be46288c423e033a71bda3d597b126
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/VertexView.SizeHandle.html 100644 root:root 39289d319ed15c0b00619779c3282805
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/VertexView.html 100644 root:root f39b0f4f6b117940a53bcec067472310
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AbstractCellView.html 100644 root:root 8b8cd6fece5464edc5751c4dc122676a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AttributeMap.SerializablePoint2D.html 100644 root:root 9392da917227da1fd238ebdbf1300ce8
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AttributeMap.SerializableRectangle2D.html 100644 root:root 52fa96318b615987f34497c23f54e276
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AttributeMap.html 100644 root:root b8f54554dd034400c0e9abd30922db3b
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/BasicMarqueeHandler.html 100644 root:root 36ad2469e6160041765b9ff9112f368d
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellHandle.html 100644 root:root 8659053d5ea164ca17a1ded3b113af08
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellMapper.html 100644 root:root 3281b555268b2c8371985b94fa966f9a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellView.html 100644 root:root 53c0140a8bda248979a7e3b4573b2859
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellViewFactory.html 100644 root:root d4db9af281c5e20cc0d5b6dbf46336ab
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellViewRenderer.html 100644 root:root 40dc37440b0b198bcbcfd89935d28bb7
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ConnectionSet.Connection.html 100644 root:root 20a8816803a1ed5151e561cd8225c992
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ConnectionSet.html 100644 root:root d96f5868bd88d3b6c4e582ed22f8a964
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultCellViewFactory.html 100644 root:root e8fdab1948cf6f6975388b710185a870
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultEdge.DefaultRouting.html 100644 root:root d2a364c8bd95d2d8838add02a60daf99
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultEdge.LoopRouting.html 100644 root:root 980a3033716519da890cfc67d57de75c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultEdge.html 100644 root:root 5e7c86116355b25303bf7cd5b74471db
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCell.html 100644 root:root be23fc9bdbe9d88db20d65257d02322d
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCellEditor.DefaultTextField.html 100644 root:root 626637be67752f96c3c1095fcae9ea97
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCellEditor.EditorContainer.html 100644 root:root 74524d153fb368b9ec9e4139e844daa3
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCellEditor.html 100644 root:root 49ef714aee9ddfd89459b5f91331a767
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.EmptyIterator.html 100644 root:root ec47833c879f2110797b4ca819c0ffa2
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.GraphModelEdit.html 100644 root:root 63da365822908e1c01f06f8991b5665d
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.GraphModelLayerEdit.html 100644 root:root 1ae878e9840fab602722fde041b8946e
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.html 100644 root:root 97512d7f1cee4b5a2469728b879b6510
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphSelectionModel.CellPlaceHolder.html 100644 root:root 2e600863b72649429c9944e6cfb4d907
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphSelectionModel.html 100644 root:root 6c9b57dca463e62c7f4b7b31fcba8a6a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultPort.html 100644 root:root 7d1cbbc405ad981a0ea5179dd149427f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultRealEditor.html 100644 root:root 6a66fb067eee48582a06edcc79fdd33c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/Edge.Routing.html 100644 root:root d690610a97aa24db6857403702b73dd6
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/Edge.html 100644 root:root 91c1b6f08d55ef0d45347d01c1633dd0
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/EdgeRenderer.html 100644 root:root 9d57a4745d4b5f9324df5035654eabf6
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/EdgeView.EdgeHandle.html 100644 root:root cd8ecace136815edc04b23a3b74bebb1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/EdgeView.html 100644 root:root 90301332f39df636ac1e79ab3639fbb6
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ExecutableChange.html 100644 root:root ebe1ccb2c17527fb63581bccc52eef71
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphCell.html 100644 root:root 6ff695c9ce80bce46d03e502a4fa6e2b
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphCellEditor.html 100644 root:root 08f382350bc8f2354b4a648cc47f6429
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphConstants.html 100644 root:root 5ad2eed998232a7e9c4f236a1ed7c4e1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphContext.html 100644 root:root fe1eb36518de65a490908748170e6ad6
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphLayoutCache.GraphLayoutCacheEdit.html 100644 root:root b6aa45ad3f0809fbadd6198393de9a05
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphLayoutCache.html 100644 root:root e15eccd89315aeb2e584fd7468252e33
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphModel.html 100644 root:root a126a5c21301cbfbbdc7eb59899df792
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphSelectionModel.html 100644 root:root f913e407c903f49f167b59ecaf9626d5
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphTransferHandler.html 100644 root:root 9b359e9765477e0ab289248626b81de1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphTransferable.html 100644 root:root 22bb5c2ef854b78696fcbc2299857f1b
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphUndoManager.html 100644 root:root 153a08cb10317ab0802118f6d21c082d
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ParentMap.Entry.html 100644 root:root 85196a69b3cb8e9f370dd641ef5aecbb
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ParentMap.html 100644 root:root f44f2e6961120203d51bf85173be67eb
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/Port.html 100644 root:root 651a4839bc3aefe2f858a447c48ddb61
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/PortRenderer.html 100644 root:root fbc565ec4f9f0213742efde8b8cd2b41
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/PortView.html 100644 root:root fe5959cbdaa71d79fb2e366122008f6c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/VertexRenderer.html 100644 root:root 2a88898090f2a9f31f8c3590f30b80a2
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/VertexView.SizeHandle.html 100644 root:root 59dd2f365766d1af3df4220ce47da8b1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/VertexView.html 100644 root:root c2b286276e9121d3f833d1b5a76dc2bd
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AbstractCellView.html 100644 root:root 0cb7f8a76db7251ea120fb4b72b5a6c2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AttributeMap.SerializablePoint2D.html 100644 root:root 71abfc9e6fdf0264e3f22da843b5c03d
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AttributeMap.SerializableRectangle2D.html 100644 root:root 2a58d5cd81d82c5f09c2957a22e6c855
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/AttributeMap.html 100644 root:root 127fda32ee6d8db9a0483997acdbaa36
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/BasicMarqueeHandler.html 100644 root:root e784a52999a625fd68e2866acb65d0e2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellHandle.html 100644 root:root 9416eff637bae5035f558072846b34ad
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellMapper.html 100644 root:root e61c4aaf49d2098283603a46e7861c01
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellView.html 100644 root:root 766e247ee701070917a8797068ad2f10
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellViewFactory.html 100644 root:root c4d50291d206700800c84c1fb335cff3
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/CellViewRenderer.html 100644 root:root 8d374f55d9f8769c66e781eb4643cd2d
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ConnectionSet.Connection.html 100644 root:root 5c70f767149816d756aeb16c2c7a8b40
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ConnectionSet.html 100644 root:root 238827f1fdbe41c645cb73492206a390
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultCellViewFactory.html 100644 root:root d104d6afa8ad38d63a91457aee74999b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultEdge.DefaultRouting.html 100644 root:root f55579111a834e731a337b71c01d2ad0
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultEdge.LoopRouting.html 100644 root:root 822f3f6afc2660ca3fdba07f78350362
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultEdge.html 100644 root:root e922b6f62709c177ceee3a645da15507
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCell.html 100644 root:root 0275d2ecbb18fc28aa323b5550a394f7
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCellEditor.DefaultTextField.html 100644 root:root cca7bc2ddfb73fd3202cae217064679c
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCellEditor.EditorContainer.html 100644 root:root a17d44c486b18dc26bc332c93b07ae2a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphCellEditor.html 100644 root:root e563579b676d065a67c9553c42b0203a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.EmptyIterator.html 100644 root:root 1ae57c65f1293072242d259aaf381062
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.GraphModelEdit.html 100644 root:root fc504fb542bda3bc7c823a30f281d993
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.GraphModelLayerEdit.html 100644 root:root 838fbe3eaf231305ea272ec058538043
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphModel.html 100644 root:root 4575a035b0032413a2247bc203e3d8f2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphSelectionModel.CellPlaceHolder.html 100644 root:root 932c3903fa82c961ac464e999a704c19
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultGraphSelectionModel.html 100644 root:root 117c02da191729d9a18407452224da4a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultPort.html 100644 root:root b2c634819fe0f18572a967373cb247c4
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/DefaultRealEditor.html 100644 root:root edd114ce1b719b91c1be6003886c4921
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/Edge.Routing.html 100644 root:root ce499c874a8f3f4778ff239672ecc2e3
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/Edge.html 100644 root:root 6e6fe11f6ade06097d5d5862707e591c
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/EdgeRenderer.html 100644 root:root 32b9ff11d7edc3bde74730011c81d2c1
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/EdgeView.EdgeHandle.html 100644 root:root fd1165a5304d48fad39fcf434a59051a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/EdgeView.html 100644 root:root 574ccba706b044973172650fc77ab3a8
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ExecutableChange.html 100644 root:root dd92f8afea1f168bfd53960a88e04912
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphCell.html 100644 root:root b0be90e8f6a5ec1f63ec9620ba035662
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphCellEditor.html 100644 root:root c7268a61a083408db3e230043c095d9e
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphConstants.html 100644 root:root d590d7862c87ee886803d40640768783
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphContext.html 100644 root:root 0dcb62a2778c7f03ed2ddf3a26eb259a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphLayoutCache.GraphLayoutCacheEdit.html 100644 root:root 6ee24bc15ac498385f2598c1e3659049
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphLayoutCache.html 100644 root:root e054ac0783cb21a5033cf39cd6741e70
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphModel.html 100644 root:root de515a1f392b3b245593ff6d0957f45f
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphSelectionModel.html 100644 root:root a9a19e9284981fc5bb06af9f834cb79a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphTransferHandler.html 100644 root:root 4e96ec877b87dd9d8e7234b10326f77a
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphTransferable.html 100644 root:root 7e337fe5be73ad26a883d6481e8a44d2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/GraphUndoManager.html 100644 root:root 8a614dc17ea4896cd3c5c437cfc9c532
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ParentMap.Entry.html 100644 root:root 936045eb01c7057fa3b6207811b30843
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/ParentMap.html 100644 root:root 951e9c544a16a27202f8024627564ca3
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/Port.html 100644 root:root 39705f6188004340c192a73ff5b4a9d6
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/PortRenderer.html 100644 root:root 0afe05b2c7278ac09ec0f620ccdc35e1
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/PortView.html 100644 root:root 8c7b9178b9dcd9e1aa72657b81d5cb63
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/VertexRenderer.html 100644 root:root 7bf0a33c99f6eee767a93d99a6fb8f35
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/VertexView.SizeHandle.html 100644 root:root a1a4c8ffd6137c8529691e0e69d2a493
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/class-use/VertexView.html 100644 root:root 4796ae1b2f3e1486781569bdeca54aa2
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/package-frame.html 100644 root:root c83bd3f8765ec6bc6481b7cd3fa85db6
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/package-summary.html 100644 root:root 61d03f875d4632209b2cfa3c614f8694
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/package-tree.html 100644 root:root 3901cb2f797adde69f0d6963e44340be
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/package-use.html 100644 root:root 5e7aa81bd2fb2df328f88d379a573d3f
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/package-summary.html 100644 root:root 9ad684787dc2720b95b918700d8a562b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/package-tree.html 100644 root:root 12306f5993cd78682d407e07f2b9884e
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/graph/package-use.html 100644 root:root 9af5977d0c3b367678f745929f4728c2
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/package-frame.html 100644 root:root 00ae6eb1eafa721dc02877f01cb00216
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/package-summary.html 100644 root:root af3eb141c6a2b50f494a503623a2ce4d
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/package-tree.html 100644 root:root fab835e39d9bd515b31619ff369d7b93
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/package-use.html 100644 root:root 942c6f2b00110bccf70b4b93e97830d2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/package-summary.html 100644 root:root 8ca4a8a090ad71e81d968cc1b5ff33dc
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/package-tree.html 100644 root:root c94e408eeecf8292ce61a06bfe18aafb
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/package-use.html 100644 root:root 8aea8ec77e62dbc5753d0741d909d3b1
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/GraphUI.html 100644 root:root 8816d148d497aaf679e2eb73859b962b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/GraphUI.html 100644 root:root a1f33a983a75ea875b6dc3cc9c0d9626
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphDropTargetListener.html 100644 root:root bbc79478fa33287cf7db39d19bf7f3c8
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphTransferable.html 100644 root:root d11e6e39556edfd9c4a600de957f6696
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.CellEditorHandler.html 100644 root:root d9def582736ff8e12bb9fc68280dd298
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.ComponentHandler.html 100644 root:root 424d8f3810a600d0ec3fcc753b7d7fe5
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphDropTargetListener.html 100644 root:root e33595f4558ec850312ec4876892a7b1
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphIncrementAction.html 100644 root:root 8db6a109f918472a2285dd99a8dcd008
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphLayoutCacheHandler.html 100644 root:root d4386e67a7b276beb06ca57fad898261
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphModelHandler.html 100644 root:root 64f1a50eb456bc73df26a83c8453cb1d
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphSelectionHandler.html 100644 root:root 9c9c071ac4aae8d81a29f0a44b238df8
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.KeyHandler.html 100644 root:root 4623bd4bd3c476dcd61ede5d8df2e47d
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.MouseHandler.html 100644 root:root 02bdd47b1edb7499e20949d34cc2fc7a
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.MouseInputHandler.html 100644 root:root 7715dfd0e5436e0b7b5d9b1b404f299e
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.PropertyChangeHandler.html 100644 root:root e3b56b8bc712d1a2dad910bccf48818f
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.RootHandle.html 100644 root:root 1def5d0940c6db32c5025b010e37a668
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.html 100644 root:root df2bcbcd3cd4d754c17fbd7ca91aa355
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphDropTargetListener.html 100644 root:root 645c113600073f26c40226a5e8d997f6
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphTransferable.html 100644 root:root 49c33ee7f067103772137325013b8bc7
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.CellEditorHandler.html 100644 root:root 6f5e433000ba53d3ee2aceb3057c7428
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.ComponentHandler.html 100644 root:root 3762959ccd82f1a0168a6f15b91c4db1
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphDropTargetListener.html 100644 root:root 340d119e1b65c42ce6de670e9df1422b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphIncrementAction.html 100644 root:root 28b1a1bc0af45c8ca31ec435520323ad
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphLayoutCacheHandler.html 100644 root:root 754d2325fbd99595bb8cb37a40f0ea47
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphModelHandler.html 100644 root:root cd3e9ed982dbde2d5618350164970f0c
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.GraphSelectionHandler.html 100644 root:root 8233ddd58aede579871789adf8e07664
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.KeyHandler.html 100644 root:root acdc4a06b7b275930c83a0bc904208dc
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.MouseHandler.html 100644 root:root 697bd5f168ff044836980e54794d8751
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.MouseInputHandler.html 100644 root:root e6fc7a712d3db03e4381eef93fa7dac7
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.PropertyChangeHandler.html 100644 root:root 139d4c01db1e47096d854f63da536786
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.RootHandle.html 100644 root:root 9d60b6e7a98aefb896558eb4de7a6f2b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/BasicGraphUI.html 100644 root:root 584182ac886e70aa90f377f0b275b879
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphDropTargetListener.html 100644 root:root 8bd7ee8a1e6826984ebc5310812b97bb
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphTransferable.html 100644 root:root 3c428cb0f477c2e5d90eca9fbc836f5c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.CellEditorHandler.html 100644 root:root 02c84c1a413a6d34fada912f4ed4d338
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.ComponentHandler.html 100644 root:root 474106735106dc2e7ad28955f8f8ee32
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphDropTargetListener.html 100644 root:root 38cf3ebae6be6c5d3b4d5f46a774670b
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphIncrementAction.html 100644 root:root f9b2ee548f543f061305de231da5b70b
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphLayoutCacheHandler.html 100644 root:root 3858c8990af66d75060a98eb0699ae82
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphModelHandler.html 100644 root:root c4b3edd821706129ecea9754fd5cb8b0
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphSelectionHandler.html 100644 root:root 6b137d0d99ac93c0dfe9a5922fa9fc15
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.KeyHandler.html 100644 root:root 63c07b08ff5925c4ffef8203602ece28
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.MouseHandler.html 100644 root:root 421b7fec24e547c0c70c3d16d659ac11
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.MouseInputHandler.html 100644 root:root 247760a123022bbff862823e478a3bd6
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.PropertyChangeHandler.html 100644 root:root 4d079729a73f465ba4e0b5f53e8d7f5c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.RootHandle.html 100644 root:root 07f88f8e644afc3a2339cf66bf737cab
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.html 100644 root:root 34161f7036cc9d8052c8857b0c573add
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphDropTargetListener.html 100644 root:root d8985dba63493e542f95019007612259
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphTransferable.html 100644 root:root 62783e924ded04cc7b2a5dfd993e3497
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.CellEditorHandler.html 100644 root:root 38fb67867b4f59d81db267c5f7aaa49b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.ComponentHandler.html 100644 root:root 64013c80b9d630994a8d455be5306e51
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphDropTargetListener.html 100644 root:root dd01eb5277de147d8a3f27193b62c892
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphIncrementAction.html 100644 root:root f0a599a1453c15705c70e8cc4331c385
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphLayoutCacheHandler.html 100644 root:root 8b45c8ff729d166f2d7a81ac53dd26d0
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphModelHandler.html 100644 root:root 65126624f97808c169eeac33a721dcbd
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.GraphSelectionHandler.html 100644 root:root 979dc22d850484f330d4bff6f843b3e6
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.KeyHandler.html 100644 root:root 22340678113d46c675ab5a9281b12acf
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.MouseHandler.html 100644 root:root dabe497d9e094313a1fa08dce67c9d35
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.MouseInputHandler.html 100644 root:root 589484fa59f1206e161a4b6b4186d7c0
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.PropertyChangeHandler.html 100644 root:root 777aeb7b4343e7ab300f426613c2e717
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.RootHandle.html 100644 root:root 9d28495498fda3216e4ebb2589e5734b
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/class-use/BasicGraphUI.html 100644 root:root d28a56543cea5561796ff81778980984
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/package-frame.html 100644 root:root 9caa8276e4e5de00741657616ef245b6
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/package-summary.html 100644 root:root 4780b852481d2c29f720ca2398fb7db3
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/package-tree.html 100644 root:root a6e5be86b4403b7df4641ffe48caaa45
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/package-use.html 100644 root:root 4e993fb73e3f87bd139a61a6c4456a56
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/package-summary.html 100644 root:root 8e3388b6ca1c12a7fed00230d58d8102
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/package-tree.html 100644 root:root 4dfc23fd36aec703742fd52999a7d408
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/basic/package-use.html 100644 root:root 3e1969f7dfae06989c657c82cee70ff7
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/class-use 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/class-use/GraphUI.html 100644 root:root 89f6dc363f5723f5c89d1311b1090ed3
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/class-use/GraphUI.html 100644 root:root 5bcba4ca3b9837874d7398b6ad6fe18e
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/package-frame.html 100644 root:root 7cce49b9ba702c9587e536538f9343cc
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/package-summary.html 100644 root:root 076e5f0289adc4926de769d15066e0f4
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/package-tree.html 100644 root:root 4fc9a55d95f469ad586a5e02a811dd02
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/package-use.html 100644 root:root a54ab74dd8d7300c50ffcaacefc91532
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/package-summary.html 100644 root:root 7929458a540ee61774ff55495f0a07a0
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/package-tree.html 100644 root:root 727e4044f5993fd84d3536ee9acfb1b3
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/plaf/package-use.html 100644 root:root 6fcb98260ed194afe8d39bdcb9b14c29
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/Bezier.html 100644 root:root 1a01cfa32200433afd2e4aaea9064848
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/ParallelEdgeRouter.html 100644 root:root d02a293236131d1e2a25e8a572eb18c9
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/RectUtils.html 100644 root:root 913baa601d9ade3ff5a29cb9093849ce
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/Spline.html 100644 root:root 3965a5fd564909a893b3dcd6dfc7b402
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/Spline2D.html 100644 root:root 099cc1325baef75e3b37fe943be96565
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/Bezier.html 100644 root:root 0ace2f01f10b50faa0e07cd80d75e063
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/ParallelEdgeRouter.html 100644 root:root 5726fa37d35cb7d30e0040491ec9853f
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/RectUtils.html 100644 root:root dd960c91cf6a05dcbb556effab8b0f63
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/Spline.html 100644 root:root 955842be56bb016a581ecec3c44bc5ff
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/Spline2D.html 100644 root:root 57afc0ca7aafadb08eedcf7c81d54022
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use 40755 root:root
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/Bezier.html 100644 root:root 4ddb8218d79d884337940ce64ba32e75
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/ParallelEdgeRouter.html 100644 root:root 6542af1beb87119eec8da1c8b216b10c
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/RectUtils.html 100644 root:root 6e67f57443c1182e8936a6796ed906a2
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/Spline.html 100644 root:root ce7f6ec1fc521d3cc49ba353d33aaa96
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/Spline2D.html 100644 root:root 24c7fcc10dff6ec2bc4839bd0331c6f7
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/Bezier.html 100644 root:root 1533cd97bb7718cd648ca71fcec281c2
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/ParallelEdgeRouter.html 100644 root:root 37e6b5c563d0b6ead6d871c8da78a711
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/RectUtils.html 100644 root:root 352e63070c940bf168c53c46f9d36a41
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/Spline.html 100644 root:root 6f66734f733462d8490f9852bfb682f6
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/class-use/Spline2D.html 100644 root:root 71c36062fc486c2f58dd87eb8f61a3d7
File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/package-frame.html 100644 root:root 6d4f958e5a6a72cf8ebf0938fe880302
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/package-summary.html 100644 root:root 5903002aa5162d6633bc41c70a1b3b86
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/package-tree.html 100644 root:root 4e38a626a0a77e673f67a03dad181140
-File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/package-use.html 100644 root:root 81d3b41f3266b476820a5652424c5925
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/package-summary.html 100644 root:root 20115acfd500c3a400112f1a6d7c2620
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/package-tree.html 100644 root:root b4d6e3d170955b02ef34f600096c9679
+File: /usr/share/javadoc/jgraph-5.12.1.0/org/jgraph/util/package-use.html 100644 root:root ca6fcb03ddd0fd0bbd72612b9f7008ff
File: /usr/share/javadoc/jgraph-5.12.1.0/overview-frame.html 100644 root:root 18cbb94ae393ffeec89349d6d6d3e99e
-File: /usr/share/javadoc/jgraph-5.12.1.0/overview-summary.html 100644 root:root 0884255b3a1afd2fd1d471040572192c
-File: /usr/share/javadoc/jgraph-5.12.1.0/overview-tree.html 100644 root:root 5777c7ace3401a251205c43ac97bb371
+File: /usr/share/javadoc/jgraph-5.12.1.0/overview-summary.html 100644 root:root 72c5c5179862ac21e14f64398e1de4ef
+File: /usr/share/javadoc/jgraph-5.12.1.0/overview-tree.html 100644 root:root 92cd2ca4a3cac1b1847104422c8fbc75
File: /usr/share/javadoc/jgraph-5.12.1.0/package-list 100644 root:root a065a803c4cdee4ad32e8b9fe806f778
File: /usr/share/javadoc/jgraph-5.12.1.0/package-search-index.js 100644 root:root 71f16aeb3b421a89791ea4b823c53ac1
-File: /usr/share/javadoc/jgraph-5.12.1.0/package-search-index.zip 100644 root:root 9c8da1ce71da7c7cbe0bb2b92337f846
+File: /usr/share/javadoc/jgraph-5.12.1.0/package-search-index.zip 100644 root:root 01f75f17117a033fdf67d71765af56ed
File: /usr/share/javadoc/jgraph-5.12.1.0/packages.html 100644 root:root f473d43a53386100b47cb7e8dafd16a1
@@ -541,7 +528,7 @@
File: /usr/share/javadoc/jgraph-5.12.1.0/script.js 100644 root:root 09faf3df2baf98a85204181a24f8474a
-File: /usr/share/javadoc/jgraph-5.12.1.0/search.js 100644 root:root a2cf11ffe638bf82e355d8d832869e24
-File: /usr/share/javadoc/jgraph-5.12.1.0/serialized-form.html 100644 root:root 62dc0e31ce3b222f3bda48e189e2ea13
-File: /usr/share/javadoc/jgraph-5.12.1.0/stylesheet.css 100644 root:root b4825fd415c295baef246236d8e7ac21
+File: /usr/share/javadoc/jgraph-5.12.1.0/search.js 100644 root:root b5586bfb406fe790d27a4e3d42c4462c
+File: /usr/share/javadoc/jgraph-5.12.1.0/serialized-form.html 100644 root:root 41e9e2063f73ffa47a7362c276d56319
+File: /usr/share/javadoc/jgraph-5.12.1.0/stylesheet.css 100644 root:root 0f00f4821485addbc1a2ca2f10508857
File: /usr/share/javadoc/jgraph-5.12.1.0/type-search-index.js 100644 root:root a05924a74298f1cc137a8a8b1bbac1b6
-File: /usr/share/javadoc/jgraph-5.12.1.0/type-search-index.zip 100644 root:root a277261d00fb661535c4329ab4709346
-RPMIdentity: 3e86e24d7c6c53d34c2d9be6fce94cc8b92f9ef56cbf6e68bc448aae2355f97b35751500fd6f60fde7c44f7035cc46b93a0d259962b60800452edd1618d18f29
+File: /usr/share/javadoc/jgraph-5.12.1.0/type-search-index.zip 100644 root:root c70487f5668c604fe335bf31a87c94c5
+RPMIdentity: 871cadb52f052af21fe2b67f0faedde883299459d6259e58699a92d065f54731080d4eb0c8b8d180fc281001e13336995bdbeca11d864f3b95af937b40687cbc