Makefile.def: Remove libjava.

2016-09-30  Andrew Haley  <aph@redhat.com>

	* Makefile.def: Remove libjava.
	* Makefile.tpl: Likewise.
	* Makefile.in: Regenerate.
	* configure.ac: Likewise.
	* configure: Likewise.
	* gcc/java: Remove.
	* libjava: Likewise.

From-SVN: r240662

1 files changed, 0 insertions, 72 deletions

diff --git a/libjava/java/awt/PageAttributes.h b/libjava/java/awt/PageAttributes.h
deleted file mode 100644
index 7ed2f7a..0000000
--- a/libjava/java/awt/PageAttributes.h
+++ /dev/null
@@ -1,72 +0,0 @@
-
-// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
-
-#ifndef __java_awt_PageAttributes__
-#define __java_awt_PageAttributes__
-
-#pragma interface
-
-#include <java/lang/Object.h>
-#include <gcj/array.h>
-
-extern "Java"
-{
-  namespace java
-  {
-    namespace awt
-    {
-        class PageAttributes;
-        class PageAttributes$ColorType;
-        class PageAttributes$MediaType;
-        class PageAttributes$OrientationRequestedType;
-        class PageAttributes$OriginType;
-        class PageAttributes$PrintQualityType;
-    }
-  }
-}
-
-class java::awt::PageAttributes : public ::java::lang::Object
-{
-
-public:
-  PageAttributes();
-  PageAttributes(::java::awt::PageAttributes *);
-  PageAttributes(::java::awt::PageAttributes$ColorType *, ::java::awt::PageAttributes$MediaType *, ::java::awt::PageAttributes$OrientationRequestedType *, ::java::awt::PageAttributes$OriginType *, ::java::awt::PageAttributes$PrintQualityType *, JArray< jint > *);
-  ::java::lang::Object * clone();
-  void set(::java::awt::PageAttributes *);
-  ::java::awt::PageAttributes$ColorType * getColor();
-  void setColor(::java::awt::PageAttributes$ColorType *);
-  ::java::awt::PageAttributes$MediaType * getMedia();
-  void setMedia(::java::awt::PageAttributes$MediaType *);
-  void setMediaToDefault();
-  ::java::awt::PageAttributes$OrientationRequestedType * getOrientationRequested();
-  void setOrientationRequested(::java::awt::PageAttributes$OrientationRequestedType *);
-  void setOrientationRequested(jint);
-  void setOrientationRequestedToDefault();
-  ::java::awt::PageAttributes$OriginType * getOrigin();
-  void setOrigin(::java::awt::PageAttributes$OriginType *);
-  ::java::awt::PageAttributes$PrintQualityType * getPrintQuality();
-  void setPrintQuality(::java::awt::PageAttributes$PrintQualityType *);
-  void setPrintQuality(jint);
-  void setPrintQualityToDefault();
-  JArray< jint > * getPrinterResolution();
-  void setPrinterResolution(JArray< jint > *);
-  void setPrinterResolution(jint);
-  void setPrinterResolutionToDefault();
-  jboolean equals(::java::lang::Object *);
-  jint hashCode();
-  ::java::lang::String * toString();
-private:
-  ::java::awt::PageAttributes$ColorType * __attribute__((aligned(__alignof__( ::java::lang::Object)))) color;
-  ::java::awt::PageAttributes$MediaType * media;
-  ::java::awt::PageAttributes$OrientationRequestedType * orientation;
-  ::java::awt::PageAttributes$OriginType * origin;
-  ::java::awt::PageAttributes$PrintQualityType * quality;
-  jint resolutionX;
-  jint resolutionY;
-  jint resolutionScale;
-public:
-  static ::java::lang::Class class$;
-};
-
-#endif // __java_awt_PageAttributes__