Another thing I noticed when I compiled Polymake again were the following errors (that didn't result in an abortion of the compilation process but were just reported during the run of make -j6):
Code: Select all
gcc -c -o SharedMemoryMatrix.o -fPIC -I/usr/lib/jvm/java-7-openjdk-amd64/include -I/usr/lib/jvm/java-7-openjdk-amd64/include/linux/ -march=native -Wall -DNDEBUG -DPOLYMAKE_DEBUG=0 -O3 -include /home/mws/scratch/polymake-2.13-1/build.x86_64/bundled/java/jni/polymake_java.h /home/mws/scratch/polymake-2.13-1/bundled/java/java/native/SharedMemoryMatrix.c
gcc -shared -L/usr/local/lib -fstack-protector -o /home/mws/scratch/polymake-2.13-1/build.x86_64/bundled/java/../../lib/jni/libpolymake_java.so SharedMemoryMatrix.o
JAVA_HOME=/usr ant -q -f java/build.xml -Dpolymake.top=/home/mws/scratch/polymake-2.13-1 -Dbuild.dir=/home/mws/scratch/polymake-2.13-1/build.x86_64/bundled/jreality -Djar.dir=/home/mws/scratch/polymake-2.13-1/build.x86_64/bundled/jreality/../../jars -Djar.name=polymake_jreality.jar all
[echo] Using Java version 1.7.
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[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] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] Note: /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-tool/de/jreality/toolsystem/virtual/VirtualExtractPositive.java uses or overrides 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] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] Note: /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-backends-share/de/jreality/backends/label/LabelUtility.java uses unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] Note: Some input files use unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] Note: /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-proxies/de/jreality/scene/proxy/smrj/SMRJMirrorFactory.java uses unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[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] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[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] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] Note: /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-sunflow/de/jreality/sunflow/SunflowViewer.java uses or overrides a deprecated API.
[javac] Note: Recompile with -Xlint:deprecation for details.
[javac] Note: /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-sunflow/de/jreality/sunflow/SunflowRenderer.java uses unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[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] 1 warning
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer.java:28: warning: ContainerPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.ContainerPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:9: warning: ComponentPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.ComponentPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:10: warning: FramePeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.FramePeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:12: warning: CausedFocusEvent is internal proprietary API and may be removed in a future release
[javac] import sun.awt.CausedFocusEvent.Cause;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:12: warning: CausedFocusEvent is internal proprietary API and may be removed in a future release
[javac] import sun.awt.CausedFocusEvent.Cause;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:13: warning: Region is internal proprietary API and may be removed in a future release
[javac] import sun.java2d.pipe.Region;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:15: warning: FramePeer is internal proprietary API and may be removed in a future release
[javac] class FakeFramePeer6 extends FakeFramePeer implements FramePeer {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:74: warning: DragSourceContextPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.dnd.peer.DragSourceContextPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:79: warning: ButtonPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.ButtonPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:80: warning: CanvasPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.CanvasPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:81: warning: CheckboxMenuItemPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.CheckboxMenuItemPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:82: warning: CheckboxPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.CheckboxPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:83: warning: ChoicePeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.ChoicePeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:84: warning: DialogPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.DialogPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:85: warning: FileDialogPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.FileDialogPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:86: warning: FontPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.FontPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:87: warning: LabelPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.LabelPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:88: warning: ListPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.ListPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:89: warning: MenuBarPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.MenuBarPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:90: warning: MenuItemPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.MenuItemPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:91: warning: MenuPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.MenuPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:92: warning: PanelPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.PanelPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:93: warning: PopupMenuPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.PopupMenuPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:94: warning: ScrollPanePeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.ScrollPanePeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:95: warning: ScrollbarPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.ScrollbarPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:96: warning: TextAreaPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.TextAreaPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:97: warning: TextFieldPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.TextFieldPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:98: warning: WindowPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.WindowPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit6.java:48: warning: DesktopPeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.DesktopPeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit6.java:49: warning: FramePeer is internal proprietary API and may be removed in a future release
[javac] import java.awt.peer.FramePeer;
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer.java:392: warning: ContainerPeer is internal proprietary API and may be removed in a future release
[javac] public void reparent(ContainerPeer newContainer) {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:66: warning: Region is internal proprietary API and may be removed in a future release
[javac] public void applyShape(Region arg0) {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeFramePeer6.java:85: warning: ComponentPeer is internal proprietary API and may be removed in a future release
[javac] public void setZOrder(ComponentPeer above) {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:192: warning: DragSourceContextPeer is internal proprietary API and may be removed in a future release
[javac] public DragSourceContextPeer createDragSourceContextPeer(
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:207: warning: ButtonPeer is internal proprietary API and may be removed in a future release
[javac] protected ButtonPeer createButton(Button target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:211: warning: CanvasPeer is internal proprietary API and may be removed in a future release
[javac] protected CanvasPeer createCanvas(Canvas target) {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:215: warning: CheckboxMenuItemPeer is internal proprietary API and may be removed in a future release
[javac] protected CheckboxMenuItemPeer createCheckboxMenuItem(
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:220: warning: CheckboxPeer is internal proprietary API and may be removed in a future release
[javac] protected CheckboxPeer createCheckbox(Checkbox target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:225: warning: ChoicePeer is internal proprietary API and may be removed in a future release
[javac] protected ChoicePeer createChoice(Choice target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:229: warning: DialogPeer is internal proprietary API and may be removed in a future release
[javac] protected DialogPeer createDialog(Dialog target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:233: warning: FileDialogPeer is internal proprietary API and may be removed in a future release
[javac] protected FileDialogPeer createFileDialog(FileDialog target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:238: warning: FontPeer is internal proprietary API and may be removed in a future release
[javac] protected FontPeer getFontPeer(String name, int style) {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:242: warning: LabelPeer is internal proprietary API and may be removed in a future release
[javac] protected LabelPeer createLabel(Label target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:247: warning: ListPeer is internal proprietary API and may be removed in a future release
[javac] protected ListPeer createList(List target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:252: warning: MenuBarPeer is internal proprietary API and may be removed in a future release
[javac] protected MenuBarPeer createMenuBar(MenuBar target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:258: warning: MenuItemPeer is internal proprietary API and may be removed in a future release
[javac] protected MenuItemPeer createMenuItem(MenuItem target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:264: warning: MenuPeer is internal proprietary API and may be removed in a future release
[javac] protected MenuPeer createMenu(Menu target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:269: warning: PanelPeer is internal proprietary API and may be removed in a future release
[javac] protected PanelPeer createPanel(Panel target) {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:274: warning: PopupMenuPeer is internal proprietary API and may be removed in a future release
[javac] protected PopupMenuPeer createPopupMenu(PopupMenu target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:280: warning: ScrollPanePeer is internal proprietary API and may be removed in a future release
[javac] protected ScrollPanePeer createScrollPane(ScrollPane target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:286: warning: ScrollbarPeer is internal proprietary API and may be removed in a future release
[javac] protected ScrollbarPeer createScrollbar(Scrollbar target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:292: warning: TextAreaPeer is internal proprietary API and may be removed in a future release
[javac] protected TextAreaPeer createTextArea(TextArea target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:298: warning: TextFieldPeer is internal proprietary API and may be removed in a future release
[javac] protected TextFieldPeer createTextField(TextField target)
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit.java:304: warning: WindowPeer is internal proprietary API and may be removed in a future release
[javac] protected WindowPeer createWindow(Window target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit6.java:54: warning: FramePeer is internal proprietary API and may be removed in a future release
[javac] protected FramePeer createFrame(Frame target) throws HeadlessException {
[javac] ^
[javac] /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-swing/de/jreality/swing/FakeToolKit6.java:59: warning: DesktopPeer is internal proprietary API and may be removed in a future release
[javac] protected DesktopPeer createDesktopPeer(Desktop target) throws HeadlessException {
[javac] ^
[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] 57 warnings
[javac] warning: [options] bootstrap class path not set in conjunction with -source 1.6
[javac] Note: /home/mws/scratch/polymake-2.13-1/bundled/jreality/external/jreality/src-plugin/de/jreality/plugin/basic/ViewPreferences.java uses unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 1 warning
BUILD SUCCESSFUL
Total time: 1 minute 0 seconds