public Insets getInsets() {
		if (myInsets == null) {
			Insets appInsets = super.getInsets();
			// /#endif
			myInsets = new Insets(appInsets.top + BORDER, appInsets.left
					+ BORDER, appInsets.bottom + BORDER, appInsets.right
					+ BORDER);
		}
		return myInsets;
	}