On Wed, 20 Mar 2024 23:40:04 GMT, Kevin Rushforth <kcr at openjdk.org> wrote: > HTMLEditorPage it was renamed, but this operation of case-insensitive filesystems may fail. please delete the source and pull again. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1406#issuecomment-2010918218