#BlueJ-Eigenschaften. Einstellungen in dieser Datei haben Vorrang vor "bluej.defs"
#Thu Sep 10 10:02:25 CEST 2020
bluej.recentProject0=H\:\\Git\\queue-stack
session.numeditors.stride=0
bluej.uid=f0e60e0d-9945-4fa8-922e-fc23eb9d452a
bluej.editor.fontsize=13
blackbox.uuid=34116b3b-9947-4c9e-b769-e709d21e998f
bluej.latest.msg=2020-06-01
extensions.org.bluej.extensions.submitter.Submitter.settings.saslrealm=
bluej.editor.stride.sidebarShowing=true
bluej.terminal.y=16
bluej.terminal.x=16
session.numeditors.java=2