#BlueJ-Eigenschaften. Einstellungen in dieser Datei haben Vorrang vor "bluej.defs"
#Thu Sep 24 11:03:08 CEST 2020
session.numeditors.stride=0
bluej.uid=81a7ce90-da5c-42b6-a94e-14f9a0524c4b
bluej.latest.msg=2020-06-01
bluej.editor.stride.sidebarShowing=true
bluej.recentProject0=H\:\\Git\\EscapeRoom
bluej.recentProject1=H\:\\Info\\EscapeRoom
blackbox.uuid=9e4ac419-169d-4246-987a-ac9adaa666fd
bluej.editor.fontsize=13
extensions.org.bluej.extensions.submitter.Submitter.settings.saslrealm=
bluej.terminal.y=16
bluej.terminal.x=16
session.numeditors.java=5