added an optional patch for jdk 1.6 downgrade