Java首选项：值名称中的斜杠

Question

为什么Java的首选项API会在值名称的大写字母之前加上斜杠？ 有没有办法解决此问题或禁用此行为？

prefs = Preferences.userRoot().node("app");
...
prefs.putInt("WindowWidth", mainFrame.getWidth());
...

由于