Bug 90249 remove workaround code for bug 85005
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
}
		/**
		 * {@inheritDoc}
		 */
		public String getDefaultString(String name) {
			return STRING_DEFAULT_DEFAULT;
		}
		/**
		 * {@inheritDoc}
		 */
		public double getDouble(String name) {
			return fNode.getDouble(name, DOUBLE_DEFAULT_DEFAULT);
		}
		/**
		 * {@inheritDoc}
		 */
		public float getFloat(String name) {
			return fNode.getFloat(name, FLOAT_DEFAULT_DEFAULT);
		}
		/**
		 * {@inheritDoc}
		 */
		public int getInt(String name) {
			return fNode.getInt(name, INT_DEFAULT_DEFAULT);
		}
		/**
		 * {@inheritDoc}
		 */
		public long getLong(String name) {
			return fNode.getLong(name, LONG_DEFAULT_DEFAULT);